Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages
关键词:
摘要: We extend the ordinary concept of theory morphism in institutions to extra morphisms. Extra morphisms map theories belonging different across institution investigate basic mathematical properties supporting semantics logical multi-paradigm languages, especially structuring specifications (module systems) a la OBJ-Clear. They include model reducts, free constructions (liberality), co-limits, amalgamation (exactness), and inclusion systems. outline general for languages whose satisfy certain ‘logical’ principles by extending institutional developed within Clear-OBJ tradition. Finally, Appendix, we briefly illustrate this with concrete example CafeOBJ.
springer.com
researchgate.net 
sci-hub.se 参考文章(28)
Joseph A. Goguen, José Meseguer, EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations. pp. 295- 363 ,(1986)
Răzvan Diaconescu, Rod Burstall, Hiding and behaviour: an institutional approach A classical mind. pp. 75- 92 ,(1994)
Petros Stefaneas, Răzvan Diaconescu, Joseph Goguen, Logical support for modularisation Papers presented at the second annual Workshop on Logical environments. pp. 83- 130 ,(1993)
Kokichi Futatsugi, Razvan Diaconescu, Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification ,(1998)
J A Goguen, J Meseguer, Initiality, induction, and computability Algebraic methods in semantics. pp. 459- 541 ,(1986)
R. M. Burstall, J. A. Goguen, The Semantics of CLEAR, A Specification Language Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School. pp. 292- 332 ,(1979) , 10.1007/3-540-10007-5_41
Ole-Johan Dahl, Magne Haveraaen, Olaf Owe, None, Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers Springer. ,(1996)
Joseph A. Goguen, Răzvan Diaconescu, An Introduction to Category-based Equational Logic algebraic methodology and software technology. pp. 91- 126 ,(1995) , 10.1007/3-540-60043-4_48
Joseph A. Goguen, José Meseguer, Models and equality for logical programming TAPSOFT '87 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP). pp. 1- 22 ,(1987) , 10.1007/BFB0014969
Răzvan Diaconescu, A Category-Based Equational Logic Semantics to Constraint Programming workshop on specification of abstract data types joint with compass workshop on recent trends in data type specification. pp. 200- 221 ,(1995) , 10.1007/3-540-61629-2_44