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

4 Why algebraic theories – E G Wagner, S L Bloom, J W Thatcher - 1985
5 Dependent types considered necessary for specification languages – T Streicher, M Wirsing - 1990
2 Etude des sp'ecifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Doctorat d'Universit'e – C Oriat - 1996
2 et al. Reference manual of the specification language LPG – D Bert - 1990
2 Putting algebraic components together: A dependent type approach – J-C Reynaud - 1990
2 Isomorphism of typed algebraic specifications – J-C Reynaud - 1993
1 The categorical theory generated by a limit sketch – M Barr, C Wells - 1994
1 g'en'ericit'e, prototypage : aspects du langage LPG. Technique et science informatique – Sp'ecification - 1097
1 Cat'egories lax-localement-cart'esiennes et cat'egories localement cart'esiennes : un exemple de suffisante compl'etude connexe de s'emantiques initiales – F Cury - 1991
1 Sketches and computation (part 1): Basic definitions and static evaluation – D Duval, J-C Reynaud - 1994
1 Sketches and computation (part 2): Dynamic evaluation and applications – D Duval, J-C Reynaud - 1994
6 Compositionality results for different types of parameterization and parameter passing in specification language – H Ehrig, R M Jimenez, F Orejas - 1993
4 A Model Inference System for Generic Specification with Application to Code Sharing – Didier Bert, Catherine Oriat - 1995
3 S'emantique de LPG – J-C Reynaud - 1987
40 Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories – Andrzej Tarlecki, Rod Burstall, Joseph Goguen - 1991
5 Many-sorted theories and their algebras with some applications to data tipes, In: Algebraic methods in semantics, Cambridge Univ – S L Bloom, E G Wagner - 1985
23 Abstract data types as initial algebras and correctness of data representations – J A GOGUEN, J W THATCHER, E G WAGNER, J B WRIGHT - 1975
45 Sheaf Semantics for Concurrent Interacting Objects – Joseph A. Goguen - 1992
127 Introducing institutions – J A Goguen, R M Burstall - 1983