Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes

Oriat, C.

Oriat, C.

Diagrammes, Tome 39 (1998), pp. 3-120.

partie suivante Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II

MR Zbl

@article{DIA_1998__39__3_0,
     author = {Oriat, C.},
     title = {\'Etude des sp\'ecifications modulaires : constructions de colimites finies, diagrammes, isomorphismes},
     journal = {Diagrammes},
     pages = {3--120},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {39},
     year = {1998},
     mrnumber = {1782968},
     zbl = {0958.18001},
     language = {fr},
     url = {http://www.numdam.org/item/DIA_1998__39__3_0/}
}

TY  - JOUR
AU  - Oriat, C.
TI  - Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes
JO  - Diagrammes
PY  - 1998
SP  - 3
EP  - 120
VL  - 39
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1998__39__3_0/
LA  - fr
ID  - DIA_1998__39__3_0
ER  -

%0 Journal Article
%A Oriat, C.
%T Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes
%J Diagrammes
%D 1998
%P 3-120
%V 39
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1998__39__3_0/
%G fr
%F DIA_1998__39__3_0

Oriat, C. Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Diagrammes, Tome 39 (1998), pp. 3-120. http://www.numdam.org/item/DIA_1998__39__3_0/

Bibliographie
Cité par

[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 | Zbl

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

[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 | Zbl

[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

[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

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

[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 TAPSOFT93, number 668 in LNCS, pages 421-436. Springer-Verlag, 1993. | MR

[BO95] D. Bert and C. Oriat. A model inference system for generic specification with application to code sharing. In Proceedings of TAPSOFT'95, number 915 in LNCS, pages 741-755. Springer-Verlag, 1995.

[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 | Zbl

[BW85] 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 | Zbl

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

[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 | Zbl

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

[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 | Zbl

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

[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 | Zbl

[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 | Zbl

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

[EJO93] 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 Theorectical Computer Sceince. Springer-Verlag, 1985. | MR | Zbl

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

[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 | Zbl

[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 | Zbl

[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 | Zbl

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

[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 | Zbl

[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

[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 | Zbl

[LCW85] D. Lorge Parnas, P. C. Clements, 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 | Zbl

[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 | Zbl

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

[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 | Zbl

[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

[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 | Zbl

[Rey87] J.-C. Reynaud. Sémantique de LPG. Research Report 651 I IMAG, LIFIA, Mars 1987.

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

[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

[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 | Zbl

[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

[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 | Zbl

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

[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 | Zbl

[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 | Zbl

[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 | Zbl

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

[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 | Zbl

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

[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 | Zbl

[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.