Representations, Hierarchies, and Graphs of Institutions (1996)

Cached

Download Links

by Till Mossakowski
Citations:5 - 4 self

Active Bibliography

4 A Hierarchy of Institutions Separated By Properties of Parameterized Data Types – Till Mossakowski - 1995
19 From Total Equational to Partial First Order Logic – Maura Cerioli, Till Mossakowski, Horst Reichel - 1998
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
50 Moving Between Logical Systems – Andrzej Tarlecki - 1998
3 Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods – Till Mossakowski
17 Equivalences among Various Logical Frameworks of Partial Algebras – Till Mossakowski - 1996
Amalgamation in the Semantics of CASL – Lutz Schröder, Till Mossakowski , Andrzej Tarlecki , Bartek Klin, Piotr Hoffman
8 Semantics of architectural specifications in Casl – Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman - 2001
26 Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages – Razvan Diaconescu - 1996
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
15 Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras – Till Mossakowski - 1996
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
14 Management of Change in Structured Verification – Dieter Hutter - 2000
unknown title – unknown authors - 2013