From static to dynamic abstract data-types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1113, Issue , 1996, Pages 579-590

  Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA;

ALGEBRAIC SPECIFICATIONS; DATA TYPE; DYNAMIC ABSTRACT DATA TYPES; DYNAMIC DATA TYPES; DYNAMIC EVOLUTION; DYNAMIC FEATURES; EVOLVING SYSTEMS; STATIC DATUM;

ABSTRACT DATA TYPES;

EID: 84947936290     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61550-4_180     Document Type: Conference Paper

References (12)

1. E. Astesiano and E. Zucca. D-oids: a model for dynamic data-types. Mathematical Structures in Computer Science, 5(2):257-282, June 1995.
2. E. Astesiano and E. Zucca. A free construction of dynamic terms. Journ. of Computer and System Sciences, 52(1):143-156, February 1996.
3. H. Baumeister. Relations as abstract datatypes: An institution to specify relations between algebras. In TAPSOFT '95, LNCS 915, pages 756-771, 1995. Springer Verlag.
4. M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In CAAP '96, LNCS, 1996. Springer Verlag. To appear.
5. M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 1996. To appear.
6. P. Dauchy and M.C. Gaudel. Implicit state in algebraic specifications. In IS-CORE’93, n. 01/93 in Informatik-Berichte, Universitaet Hannover, 1993.
7. H. Ehrig and F. Orejas. Dynamic abstract data types: An informal proposal. Bull. of EATCS, 53, June 1994.
8. J.A. Goguen and R.M. Burstall. Institutions: Abstract model theory for computer science. Journ. ACM, 39:95-146, 1992.
9. Z. Manna and A. Pnueli. The Temporal Logics of Reactive and Concurrent Systems. Springer Verlag, New York, 1992.
10. W. Pawlowski. Context institutions. In 11th ADT Workshop, LNCS, 1996. Springer Verlag. To appear.
11. M. Große Rhode. Specification of Transition Categories - An Approach to Dynamic Abstract Data Types. PhD thesis, TU Berlin, 1995.
12. E. Zucca. From static to dynamic abstract data-types: An institution transformation. Tech. Rep. DISI-TR-1996-1, Univ. Genova, 1996. Submitted for publication.