Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms (1996)

Cached

Download Links

by Catherine Oriat

Active Bibliography

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
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
7 Structuring and Modularity – Fernando Orejas - 1996
67 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987
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
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
8 An Algebraic Framework For The Definition Of Compositional Semantics Of Normal Logic Programs – Paqui Lucio, Fernando Orejas, Elvira Pino, Elvira - 1994
4 Institutions for Logic Programming – Fernando Orejas, Elvira Pino, Hartmut Ehrig - 1997
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
21 HYPERPROGRAMMING: A Formal Approach to Software Environments – Joseph A. Goguen - 1990
1 Detecting Isomorphisms of Modular Specifications with Diagrams – Catherine Oriat - 1995
Semantics Of Non-Terminating Systems Through Term Rewriting – José Bernardo dos Santos Monteiro Vieira de Barros - 1995
Scetches and Specifications User'S Gude -- First . . . – Dominique Duval, Christian Lair - 2000
8 Denotational Semantics of Object Specification – Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro - 1998
4 Dialgebraic Specification and Modeling – Peter Padawitz
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
88 Categorical Logic – Andrew M. Pitts - 1995