Specifications in an arbitrary institution with symbols

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

Volumn 1827, Issue , 2000, Pages 252-270

  Mossakowski, Till ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS;

KERNEL LANGUAGES; MORPHISMS; STRUCTURED SPECIFICATION;

SPECIFICATIONS;

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

References (10)

1. J. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Wiley, New York, 1990.
2. F. Borceux. Handbook of Categorical Algebra I – III. Cambridge University Press, 1994
3. V. E. Căzănescu and G. Roşu. Weak inclusion systems. Mathematical Structures in Computer Science, 7(2):195–206, Apr. 1997.
4. CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI.
5. CoFI Semantics Task Group. CASL – The CoFI Algebraic Specification Language – Semantics. Note S-9 (version 0.95), in [4], Mar. 1999.
6. H. Ehrigan d B. Mahr. Fundamentals of Algebraic Specification 1. Springer Verlag, Heidelberg, 1985.
7. J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95–146, 1992. Predecessor in: LNCS 164, 221–256, 1984.
8. T. Mossakowski. Cocompleteness of the CASL signature category. Note S-7, in [4], Feb. 1998.
9. D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76:165–210, 1988.
10. D. T. Sannella and A. Tarlecki. Extended ML: an institution-independent framework for formal program development. In Proc. Workshop on Category Theory and Computer Programming, volume 240 of Lecture Notes in Computer Science, pages 364–389. Springer, 1986.