Representations, Hierarchies, and Graphs of Institutions (1996)

Cached

Download Links

by Till Mossakowski
Citations:5 - 4 self

Documents Related by Co-Citation

9 Pushouts of order-sorted algebraic specifications – A E Haxthausen, F Nickl - 1996
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
32 and Răzvan Diaconescu. An Oxford survey of order sorted algebra – Joseph Goguen - 1994
2 Colimits of order-sorted specifications revisited – T Mossakowski - 1997
43 CoFI: The Common Framework Initiative for Algebraic Specification and Development – Peter D. Mosses, Peter D. Mosses - 1997
20 Partial algebras — survey of a unifying approach towards a twovalued model theory for partial algebras, Algebra Universalis 15 – P Burmeister - 1982
19 From Total Equational to Partial First Order Logic – Maura Cerioli, Till Mossakowski, Horst Reichel - 1998
168 General logics – José Meseguer - 1989
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
5 Inclusions and subtypes II: Higher-order case – Narciso Mart'i-Oliet, Jos'e Meseguer - 1996
1 Inclusions and subtypes I: First-order case – Narciso Mart'i-Oliet, Jos'e Meseguer - 1996
18 On Types and FOOPS – J A Wolfram Goguen, D
13 Functors: The Categorical Imperative – Structures Arrows - 1975
19 Verifiable Programming – O-J Dahl - 1992
98 Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics – J A Goguen, J Meseguer - 1987
3 Order-sorted algebraic specifications with higher-order functions – A E Haxthausen - 1997
1 Static semantic analysis of Casl. Talk at the – T Mossakowski, Kolyang, B Krieg-Bruckner - 1997
48 Identity and existence in intuitionistic logic – D Scott - 1979