Relating abstract datatypes and Z-schemata

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

Volumn 1827, Issue , 2000, Pages 366-382

  Baumeister, Hubert ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER CIRCUITS; SPECIFICATION LANGUAGES; TRANSLATION (LANGUAGES);

ALGEBRAIC SPECIFICATION LANGUAGES; DATATYPES; SPECIFICATION TECHNIQUE;

SPECIFICATIONS;

EID: 84947288580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44616-3_21     Document Type: Conference Paper

References (13)

1. Hubert Baumeister. Relations as abstract datatypes: An institution to specify relations between algebras. In Peter D. Mosses, Mogens Nielsen, and Michael I. Schwartzbach, editors, TAPSOFT 95, Proceedings of the Sixth Joint Conference on Theory and Practice of Software Development, number 915 in LNCS, pages 756–771, °Arhus, Denmark, May 1995. Springer.
2. Hubert Baumeister. Using algebraic specification languages for model-oriented specifications. Technical Report MPI-I-96-2-003, Max-Planck-Institut f¨ur Informatik, Saarbrücken, Germany, February 1996.
3. Hubert Baumeister. Relations between Abstract Datatypes modeled as Abstract Datatypes. PhD thesis, Universität des Saarlandes, Saarbrücken, May 1999.
4. R. M. Burstall and J. A. Goguen. The semantics of Clear, a specification language, February 1980.
5. Hartmut Ehrig and Fernando Orejas. Dynamic abstract data types, an informal proposal. Bulletin of the EATCS, 53:162–169, June 1994.
6. J. A. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95–146, January 1992.
7. Yuri Gurevich. Evolving algebras: An attempt to discover semantics. Bulletin of the EATCS, 43:264–284, February 1991.
8. Rolf Hennicker, Martin Wirsing, and Michel Bidoit. Proof systems for structured specifications with observability operators. Theoretical Computer Science, 173(2):393–443, February 28 1996.
9. Till Mossakowski. Specifications in an arbitrary institution with symbols. In Didier Bert and Christine Choppy, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99, Bonas, France, September 1999; Selected Papers;, volume 1827 of LNCS. Springer, 2000.
10. Peter D. Mosses. CoFI: The common framework initiative for algebraic specification and development. In Michel Bidoit and Max Dauchet, editors, TAPSOFT’97: Proceedings of the Seventh Joint Conference on Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, number 1214 in LNCS, Lille, France, April 1997. Springer.
11. Donald Sannella and Martin Wirsing. A kernel language for algebraic specification and implementation. In M. Karpinski, editor, Colloquium on Foundations of Computation Theory, number 158 in LNCS, pages 413–427, Berlin, 1983. Springer.
12. J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge tracts in theoretical computer science. Cambridge Univ. Press, Cambridge, GB, repr. 1992 edition, 1988.
13. Z notation, final committee draft, cd 13568.2, August 24 1999. Available at http://web.comlab.ox.ac.uk/oucl/research/groups/zstandards/index.html.