Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II
Diagrammes, Tome 40 (1998), pp. 3-71.
@article{DIA_1998__40__3_0,
     author = {Oriat, C.},
     title = {\'Etude des sp\'ecifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. {Partie} {II}},
     journal = {Diagrammes},
     pages = {3--71},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {40},
     year = {1998},
     zbl = {0958.18002},
     mrnumber = {1795658},
     language = {fr},
     url = {http://www.numdam.org/item/DIA_1998__40__3_0/}
}
TY  - JOUR
AU  - Oriat, C.
TI  - Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II
JO  - Diagrammes
PY  - 1998
DA  - 1998///
SP  - 3
EP  - 71
VL  - 40
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1998__40__3_0/
UR  - https://zbmath.org/?q=an%3A0958.18002
UR  - https://www.ams.org/mathscinet-getitem?mr=1795658
LA  - fr
ID  - DIA_1998__40__3_0
ER  - 
Oriat, C. Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II. Diagrammes, Tome 40 (1998), pp. 3-71. http://www.numdam.org/item/DIA_1998__40__3_0/

[AL91] A. Asperti and G. Longo. Categories, Types and Structures, An Introduction to Category Theory for the Working Computer Scientist. Foundations of Computing Science, MIT Press, 1991. | MR 1159196 | Zbl 0783.18001

[AM75] M. A. Arbib and E. G. Manes. Arrows, Structures and Functors: The Categorical Imperative. Academic Press, 1975. | MR 364383 | Zbl 0374.18001

[B+90] D. Bert et al. Reference manual of the specification language LPG. Technical Report 59, LIFIA, Mars 1990. Anonymous ftp at imag.fr, in /pub/SC0P/LPG/NewSun4/man-lpg.dvi.

[BBC86] G. Bernot, M. Bidoit, and C. Choppy. Abstract data types with exception handling: An initial approach based on a distinction between exception and errors. Theoretical Computer Science, 46(1):13-45, 1986. | MR 868261 | Zbl 0603.68015

[BDMN73] G. Birtwistle, O.-J. Dahl, B. Myrhaug, and K. Nygaard. Simula Begin. Auerbach Pub., New York, 1973.

[BE86] D. Bert and R. Echahed. Design and implementation of a generic, logic and functional programming language. In Proceedings of ESOP'86, number 213 in LNCS, pages 119-132. Springer-Verlag, 1986. | Zbl 0587.68003

[Ber83] D. Bert. Refinements of generic specifications with algebraic tools. In Proceedings of IFIP'83, Paris, pages 815-820, 1983.

[Ber90] D. Bert. Spécification de logiciels réutilisables. Technical Report RR-828-I-IMAG-116, LIFIA, Octobre 1990.

[BG77] R. M. Burstall and J. A. Goguen. Putting theories together to make specifications. In Proceedings of the 5th International Joint Conference on Artificial Intelligence, pages 1045-1058, 1977.

[BG80] R. M. Burstall and J. A. Goguen. The semantics of CLEAR, a specification language. In Proceedings of Advanced Course on Abstract Software Specification, number 86 in LNCS, pages 292-332. Springer-Verlag, 1980. | Zbl 0456.68024

[BHK90] J. A. Bergstra, J. Heering, and R. Klint. Module algebra. J. ACM, 37(2) : 335-372, Apr. 1990. | MR 1072262 | Zbl 0696.68040

[Bid89] M. Bidoit. PLUSS, un langage pour le développement de spécifications algébriques modulaires, Mai 1989. Thèse d'Etat, Université de Paris-Sud.

[BL93] G. Bernot and P. Le Gall. Exception handling and term labelling. In Proceedings of TAPSOFT'93, number 668 in LNCS, pages 421-436. Springer-Verlag, 1993. | MR 1252209

[BR86] R. M. Burstall and D. Rydeheard. Computing with categories. Technical Report ECS-LFCS-86-9, University of Edinburgh, September 1986.

[Bur80] R. M. Burstall. Electronic category theory. In Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, 1980. | MR 599553 | Zbl 0462.68003

[BVV85] S. L. Bloom and E. G. Wagner. Many-sorted theories and their algebras with some applications to data types. In M. Nivat and J. C. Reynolds, editors, Algebraic Methods in Semantics, chapter 4, pages 133-168. Cambridge University Press, 1985 | MR 835451 | Zbl 0575.18004

[BW90] M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall International, 1990. | MR 1094561 | Zbl 0714.18001

[BW94] M. Barr and C. Wells. The categorical theory generated by a limit sketch, Nov. 1994.

[Car86] J. Cartmell. Generalized algebraic theories and contextual categories. Annals of Pure and Applied Logic, 32:209-243, 1986. | MR 865990 | Zbl 0634.18003

[Coh65] P. M. Cohn. Universal Algebra. Harper and Row, 1965. Revised version 1980. | MR 175948 | Zbl 0141.01002

[Cur91] F. Cury. Catégories lax-localement-cartésiennes et catégories localement cartésiennes: un exemple de suffisante complétude connexe de sémantiques initiales. In diagrammes, volume 25, pages 1-155, Université Paris 7, Juillet 1991. | Numdam | MR 1142466 | Zbl 0815.18004

[DJ90] N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In Handbook of Theoretical Computer Science, chapter 15. Elsevier Science Publishers B.V., 1990. | MR 1127191 | Zbl 0900.68283

[DN66] O.-J. Dahl and K. Nygaard. Simula - an Algol-based simulation language. Communications of the ACM, 9:671-678, Sept. 1966. | Zbl 0139.32903

[DR94a] D. Duval and J.-C. Reynaud. Sketches and computation (part 1): Basic definitions and static evaluation. Mathematical Structures in Computer Science, 4:185-238, 1994. | MR 1281759 | Zbl 0810.68096

[DR94b] D. Duval and J.-C. Reynaud. Sketches and computation (part 2): Dynamic evaluation and applications. Mathematical Structures in Computer Science, 4:239-271, 1994. | MR 1281760 | Zbl 0822.68063

[Ehr65] C. Ehresmann. Catégories et structures. Dunod, Paris, 1965. | MR 213410 | Zbl 0192.09803

[Ehr68] C. Ehresmann. Esquisses et types de structures algébriques. Bulletin de l'Institut Polytechnique, Iasi 14, 1968. | MR 238918 | Zbl 0196.03102

[EJ093] H. Ehrig, R. M. Jimenez, and F. Orejas. Compositionality results for different types of parameterization and parameter passing in specification languages. In Proceedings of the 4th International Joint Conference CAAP/FASE, number 668 in LNCS, pages 31-45. Springer-Verlag, 1993.

[EM85] H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985. | MR 788495 | Zbl 0557.68013

[EM90] H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2. Module Specifications and Constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1990. | MR 1036519 | Zbl 0759.68013

[FGJM85] K. Futatsugi, J. A. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In Proceedings of Principles of Programming Languages, pages 52-66, 1985.

[Gau84] M.-C. Gaudel. A first introduction to PLUSS. Technical report, Université d'Orsay, France, 1984.

[GB84] J. A. Goguen and R. M. Burstall. Introducing institutions. In Proceedings of the Workshop on Logic of Programming, number 164 in LNCS, pages 221-256. Springer-Verlag, 1984. | MR 778942 | Zbl 0543.68021

[GB90] J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Research Report ECS-LFCS-90-106, University of Edinburgh, January 1990.

[GKK+87] J. A. Goguen, C. Kirchner, H. Kirchner, A. Mégrelis, J. Meseguer, and T. Winkler. An introduction to OBJ3. In Proceedings of the 1st International Workshop on Conditional Term Rewriting Systems, number 308 in LNCS, pages 258-263. Springer-Verlag, 1987. | MR 900615 | Zbl 0666.68010

[Gog73] J. A. Goguen. Categorical foundations for general systems theory. In Advances in Cybernetics and System Research, pages 121-130. Transcripta Books, 1973.

[Gog92] J. A. Goguen. Sheaf semantics for concurrent interacting objects. Mathematical Structures in Computer Science, 2:159-191, 1992. | MR 1171509 | Zbl 0763.18005

[Gol79] R. Goldblatt. Topoi: The Categorial Analysis of Logic, volume 98 of Studies in Logic and the Foundations of Mathematics. North Holland, 1979. | MR 551362 | Zbl 0434.03050

[GTW78] J. A. Goguen, J. W. Thatcher, and E. G. Wagner. An initial algebra approach to the specification, correctness, and implementation of abstract data types. In R. T. Yeh, editor, Current Trends in Programming Methodology, volume 4: Data Structuring, pages 80-149. Prentice-Hall, 1978.

[GTWW75] J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Abstract data types as initial algebras and the correctness of data representation. In Computer Graphics, Pattern Recognition and Data Structure, pages 89-93, 1975.

[GTWW77] J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Initial algebra semantics and continuous algebra. J. ACM, 24:68-95, 1977. | MR 520711 | Zbl 0359.68018

[Gut75] J. V. Guttag. The specification and application to programming of abstract data types. PhD thesis, University of Toronto, 1975.

[Gut77] J. V. Guttag. Abstract data types and the development of data structures. Communication of the ACM, 6:396-404, 1977. | Zbl 0356.68022

[Huf92] J.-M. Hufflen. Proposal for GLIDER version 1.0: Principles and main features. ICARUS Technical Report, INRIA-LORRAINE & CRIN, 1992.

[Law63] W. Lawvere. Functorial semantics of algebraic theories. Proc. Nat. Acad. Sci., 50:869-873, 1963. | MR 158921 | Zbl 0119.25901

[LCW85] D. Lorge Parnas, P. C. Cléments, and D. M. Weiss. The modular structure of complex systems. IEEE Transactions on Software Engineering, SE-11(3) :259-266, March 1985.

[LS86] J. Lambek and P. J. Scott. Introduction to higher order categorical logic. Cambridge studies in advanced mathematics, 1986. | MR 856915 | Zbl 0596.03002

[LZ74] B. Liskov and S. Zilles. Programming with abstract data types. ACM SIGPLAN Notices, 9(4):50-59, 1974.

[Mar95] A. Martins. La généralisation: un outil pour la réutilisation. PhD thesis, INPG, Grenoble, Mars 1995.

[MB70] S. Mac Lane and G. Birkhoff. Algèbre. 1. Structures fondamentales. Gauthier-Villars, 1970. | MR 266716 | Zbl 0201.01801

[McL71] S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971. | MR 1712872 | Zbl 0232.18001

[MG85] J. Meseguer and J. A. Goguen. Initiality, induction, and computability. In M. Nivat and J. C. Reynolds, editors, Algebraic Methods in Semantics, chapter 14, pages 459-541. Cambridge University Press, 1985. | MR 835461 | Zbl 0571.68004

[Ori94] C. Oriat. Representing modular specifications as diagrams. In Compte Rendu des Journées du GDR Programmation, Lille, pages 53-68, Septembre 1994.

[Ori95] C. Oriat. Detecting isomorphisms of modular specifications with diagrams. In Proceedings of AMAST'95, number 936 in LNCS, pages 184-198. Springer-Verlag, 1995.

[Poi92] A. Poigné. Basic category theory. In Handbook of Logic in Computer Science, Volume 1. Background: Mathematical Structures, pages 413-640. Oxford Science Publication, 1992. | MR 1426366

[Ren91] G. Renardel De Lavalette. Logical semantics of modularisation. In Proceedings of CSL '91, number 626 in LNCS, pages 306-315. Springer-Verlag, 1991. | MR 1232896 | Zbl 0819.68079

[Rey90a] J.-C. Reynaud. Putting algebraic components together: A dependent type approach. Research Report 810 I IMAG, LIFIA, Avril 1990. Extended version. | MR 1066214

[Rey90b] J.-C. Reynaud. Putting algebraic components together: A dependent type approach. In Proceedings of DISCO'90, number 429 in LNCS. Springer-Verlag, 1990. | MR 1066214

[Rey93] J.-C. Reynaud. Isomorphism of typed algebraic specifications. Internal Report, LGI-IMAG, Avril 1993.

[See84] R. A. G. Seely. Locally cartesian closed categories and type theory. Math. Proc. Camb. Phil. Soc., 95(33):33-48, 1984. | MR 727078 | Zbl 0539.03048

[SP77] M. B. Smyth and G. D. Plotkin. The category-theoretic solution of recursive domain equations. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pages 13-17, 1977. | MR 488968

[SST92] D. Sannella, S. Sokolowski, and A. Tarlecki. Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica, 29:689-736, 1992. | MR 1202065 | Zbl 0790.68077

[ST88] D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76:165-210, 1988. | MR 935895 | Zbl 0654.68017

[SW83] D. Sannella and M. Wirsing. A kernal language for algebraic specification and implementation. In Proceedings of the 11th Colloquium on Foundations of Computation Theory, number 158 in LNCS, pages 413-427. Springer-Verlag, 1983. | MR 734738 | Zbl 0517.68043

[SW91] T. Streicher and M. Wirsing. Dependent types considered necessary for specification languages. In Proceedings of the 7th Workshop on Specification of Abstract Data Types, number 534 in LNCS, pages 323-339, 1991.

[TBG91] A. Tarlecki, R. M. Burstall, and J. A. Goguen. Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories. Theoretical Computer Science, 91:239-264, 1991. | MR 1142330 | Zbl 0755.18004

[TWW82] J. W. Thatcher, E. G. Wagner, and J. B. Wright. Data type specification: Parameterization and the power of specification techniques. ACM Trans. Prog. Lang. Syst., 4:711-773, 1982. | MR 521047 | Zbl 0495.68020

[Wan79] M. Wand. Fixed-point constructions in order-enriched categories. Theoretical Computer Science, 8:13-30, 1979. | MR 523657 | Zbl 0401.18005

[WBT85] E. G. Wagner, S. L. Bloom, and J. W. Thatcher. Why algebraic theories ? In M. Nivat and J. C. Reynolds, editors, Algebraic Methods in Semantics, chapter 17, pages 607-634. Cambridge University Press, 1985. | MR 835464 | Zbl 0637.68019

[Wir86] M. Wirsing. Structured algebraic specifications: A kernel language. Theoretical Computer Science, 42:123-249, 1986. | MR 858687 | Zbl 0599.68021

[Wir90] M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Hand-book of Theoretical Computer Science, chapter 13, pages 677-788. Elsevier Science Publishers B.V., 1990. | MR 1127198 | Zbl 0900.68309

[Wir94] M. Wirsing. Algebraic specification languages: An overview. In Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types, number 906 in LNCS, 1994.