Detecting Isomorphisms of Modular Specifications with Diagrams (1995)


Download Links

by Catherine Oriat
Venue:In Proceedings of AMAST'95, number 936 in LNCS
Citations:1 - 1 self

Active Bibliography

Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
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
4 A Model Inference System for Generic Specification with Application to Code Sharing – Didier Bert, Catherine Oriat - 1995
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
7 Structuring and Modularity – Fernando Orejas - 1996
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
Formal Specifications in General, and Some Current Research Topics in Algebraic Specifications – Gilles Bernot, Cours Monseigneur Rom'ero - 1995
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
8 Semantics of architectural specifications in Casl – Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman - 2001
On the Algebra of the Structured Specifications – Răzvan Diaconescu
9 Relations between Abstract Datatypes modeled as Abstract Datatypes – Hubert Baumeister - 1998
2 Parametricity in Algebraic Specifications - A Case Study – Stefan Sokolowski - 1990
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
Theory Presentation Combinators ⋆ – Jacques Carette
May I Borrow Your Logic? (Transporting Logical Structures along Maps) – Maura Cerioli, José Meseguer - 1995
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
Under consideration for publication in Math. Struct. in Comp. Science Interpolation for Predefined Types – unknown authors - 2008