Logical Support for Modularisation (1993)

by Razvan Diaconescu , Joseph Goguen , Petros Stefaneas
Venue:LOGICAL ENVIRONMENTS
Citations:85 - 28 self

Active Bibliography

24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
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
21 HYPERPROGRAMMING: A Formal Approach to Software Environments – Joseph A. Goguen - 1990
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
57 Metalogical Frameworks – David A. Basin, Robert L. Constable, Im Stadtwald - 1992
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986
An Axiomatic Approach to Structuring Specifications – Răzvan Diaconescu
7 Structuring and Modularity – Fernando Orejas - 1996
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
19 Introducing FOOPS – Lucia Rapanotti, Adolfo Socorro - 1992
24 Institutions: An Abstract Framework for Formal Specifications – Andrzej Tarlecki
1 Kan Extensions of Institutions – Grigore Rosu
2 Colimit Library for Graph Transformations and Algebraic Development Techniques – Dietmar Wolz, Vom Fachbereich Informatik, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla - 1998
12 Combining and Representing Logical Systems – Till Mossakowski , Andrzej Tarlecki, Wieslaw Pawlowski - 1997
15 Combining and Representing Logical Systems Using Model-Theoretic Parchments – Till Mossakowski, Andrzej Tarlecki - 1997