Detecting Isomorphisms of Modular Specifications with Diagrams (1995)

Cached

Download Links

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

Documents Related by Co-Citation

928 S.: Categories for the Working Mathematician – Mac Lane - 1998
479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
397 Category Theory for Computing Science – M Barr, C Wells - 1990
274 An initial algebra approach to the specification, correctness, and implementation of abstract data types – Joseph A Goguen, James W Thatcher, Eric G Wagner - 1978
223 Algebraic specification – M Wirsing - 1990
220 B.: Fundamentals of Algebraic Specifications 1 – H Ehrig, Mahr - 1985
186 Initial algebra semantics and continuous algebras – J Goguen, J Thatcher, E Wagner, J Wright - 1977
167 Functional Semantics of Algebraic Theories – F W Lawvere - 1963
162 Semantics of CLEAR, a specification language – R M Burstall, J A Goguen - 1980
143 Putting theories together to make specifications – R M Burstall, J A Goguen - 1977