Relations as abstract datatypes: An institution to specify relations between algebras

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

Volumn 915, Issue , 1995, Pages 756-771

  Baumeister, Hubert ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ALGEBRAIC SPECIFICATION LANGUAGES; EQUATIONAL LOGIC; FIRST ORDER; IMPERATIVE PROGRAMS; INTERFACE LANGUAGES; MODEL-THEORETIC; PREDICATE LOGIC; PROGRAM VARIABLES;

SOFTWARE DESIGN;

EID: 84943322187     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-59293-8_233     Document Type: Conference Paper

References (17)

1. Egidio Astesiano and Elena Zucca. D-oids: A model for dynamic data-types. Mathematical Structures in Computer Science, 1994. to appear.
2. Hubert Baumeister. Unifying initial and loose semantics of parameterized specifications in an arbitrary institution. In Proceedings Tapsoft/CAAP, Brighton, UK, number 493 in LNCS, pages 103-120. Springer, April 1991.
3. R. M. Burstall and J. A. Goguen. The semantics of Clear, a specification language, February 1980.
4. P. Dauchy and M.-C. Gaudel. Algebraic specifications with implicit state, February 1994.
5. R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularisation. Programming Research Group, Oxford University, August 1991.
6. H. Ehrig, P. Pepper, and F. Orejas. On recent trends in algebraic specification. In Proceedings ICALP, Stresa, Italy, number 372 in LNCS, pages 263-288. Springer, July 1989.
7. Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and initial Semantics. Number 6 in EATCS Monographs on Theoretical Computer Science. Springer, 1985.
8. Hartmut Ehrig and Fernando Orejas. Dynamic abstract data types, an informal proposal. Bulletin of the EATCS, (53): 162-169, June 1994.
9. Harald Ganzinger. Programs as transformations of algebraic theories (extended abstract). Informatik Fachberichte, 50: 22-41, 1981.
10. 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.
11. Yuri Gurevich. Evolving algebras: An attempt to discover semantics. Bulletin of the EATCS, (43): 264-284, February 1991.
12. J. V. Guttag, J. J. Horning, and J. M. Wing. Larch in five easy pieces. Report 5, DEC Systems Research Center, July 1985.
13. Cliff B. Jones. Systematic Software Development Using VDM. International series in computer science. Prentice Hall, New York, 2sd edition, 1990.
14. Saunders MacLane. Categories for the working mathematician. Graduated Texts in Mathematics. Springer, 4th edition, 1988.
15. Donald Sannella and Andrzej Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76(2/3): 165-210, February/March 1988.
16. Donald Sannella and Martin Wirsing. A kernel language for algebraic specification. Internal Report CSR-131-83, University of Edinburgh, September 1983.
17. J. Michael Spivey. The Z Notation: A Reference Manual. International series in computer science. Prentice Hall, New York, 2nd edition, 1992.