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
142 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
926 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
1311 Monads for functional programming – Philip Wadler - 1995
INSTITUTIONS: Abstract Model Theory for Specification and Programming – Joseph A. Goguen, Rod Burstall
A Doctoral Dissertation Directed by – Dr. Jos'e Meseguer - 1999
457 Comprehending Monads – Philip Wadler - 1992
4 A Model Inference System for Generic Specification with Application to Code Sharing – Didier Bert, Catherine Oriat - 1995