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

Cached

Download Links

by Razvan Diaconescu
Citations:28 - 7 self

Documents Related by Co-Citation

477 Institutions: Abstract model theory for speci cation and programming – Joseph Goguen, Rod Burstall - 1992
85 Logical Support for Modularisation – Razvan Diaconescu , Joseph Goguen, Petros Stefaneas - 1993
50 Moving Between Logical Systems – Andrzej Tarlecki - 1998
115 Module algebra – Jan Bergstra, Jan Heering, Paul Klint - 1990
23 Emil Cazanescu and Grigore Rosu. Weak inclusion systems; part 2 – Virgil
924 Categories for the Working Mathematician – Saunders Mac Lane - 1971
169 General logics – Jose Meseguer - 1989
39 Logical support for modularization – Razvan Diaconescu, Joseph Goguen, Petros Stefaneas - 1993
111 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
46 I borrow your logic? (transporting logical structures along maps – M Cerioli, J Meseguer
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
48 Bits and pieces of the theory of institutions – Andrzej Tarlecki - 1986
43 lileanna: a parameterized programming language – William Tracz - 1993
24 and Andrzej Tarlecki. Specifications in an arbitrary institution – Donald Sannella - 1988
142 Membership Algebra as a Logical Framework for Equational Specification РJos̩ Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980