Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages

Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages (1996)

Cached

Download Links

[ftp.imar.ro]

by Razvan Diaconescu

Citations:

26 - 7 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages	user correction - Legacy Corrections
AUTHOR NAME	Razvan Diaconescu	user correction - Legacy Corrections
AUTHOR AFFIL	; Graduate School of Information Science; Japan Advanced Institute for Science and Technology, Hokuriku; and; Institute of Mathematics of the Romanian Academy; Address for correspondence: Institute of Mathematics of the Romanian Academy, PO-Box 1-764, Buc	user correction - Legacy Corrections
ABSTRACT	We extend the ordinary concept of theory morphism in institutions to extra theory morphisms. Extra theory morphism map theories belonging to different institutions across institution morphisms. We investigate the basic mathematical properties of extra theory morphisms supporting the semantics of logical multiparadigm languages, especially structuring specifications (module systems) a la OBJ-Clear. They include model reducts, free constructions (liberality), co-limits, model amalgamation (exactness), and inclusion systems. We outline a general logical semantics for languages whose semantics satisfy certain "logical" principles by extending the institutional semantics developed within the Clear-OBJ tradition. Finally, in the Appendix, we briefly illustrate it with the concrete example of CafeOBJ. Keywords Algebraic specification, Institutions, Theory morphism. AMS Classifications 68Q65, 18C10, 03G30, 08A70 2 1 Introduction Computing Motivation This work belongs to the research are...	user correction - Legacy Corrections
YEAR	1996	user correction - Legacy Corrections
CITATIONS	28 found	ParsCit 1.0