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

 Access to full text

 Full (PDF)

1. [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. Zbl0783.18001MR1159196
2. [AM75] M. A. Arbib and E. G. Manes. Arrows, Structures and Functors: The Categorical Imperative. Academic Press, 1975. Zbl0374.18001MR364383
3. [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. 
4. [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. Zbl0603.68015MR868261
5. [BDMN73] G. Birtwistle, O.-J. Dahl, B. Myrhaug, and K. Nygaard. Simula Begin. Auerbach Pub., New York, 1973. 
6. [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. Zbl0587.68003
7. [Ber83] D. Bert. Refinements of generic specifications with algebraic tools. In Proceedings of IFIP'83, Paris, pages 815-820, 1983. 
8. [Ber90] D. Bert. Spécification de logiciels réutilisables. Technical Report RR-828-I-IMAG-116, LIFIA, Octobre 1990. 
9. [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. 
10. [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. Zbl0456.68024
11. [BHK90] J. A. Bergstra, J. Heering, and R. Klint. Module algebra. J. ACM, 37(2) : 335-372, Apr. 1990. Zbl0696.68040MR1072262
12. [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. 
13. [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. MR1252209
14. [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. 
15. [BR86] R. M. Burstall and D. Rydeheard. Computing with categories. Technical Report ECS-LFCS-86-9, University of Edinburgh, September 1986. Zbl0616.68011
16. [Bur80] R. M. Burstall. Electronic category theory. In Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, 1980. Zbl0462.68003MR599553
17. [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. Zbl0575.18004MR835451
18. [BW90] M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall International, 1990. Zbl0714.18001MR1094561
19. [BW94] M. Barr and C. Wells. The categorical theory generated by a limit sketch, Nov. 1994. 
20. [Car86] J. Cartmell. Generalized algebraic theories and contextual categories. Annals of Pure and Applied Logic, 32:209-243, 1986. Zbl0634.18003MR865990
21. [Coh65] P. M. Cohn. Universal Algebra. Harper and Row, 1965. Revised version 1980. Zbl0141.01002MR175948
22. [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. Zbl0815.18004MR1142466
23. [DN66] O.-J. Dahl and K. Nygaard. Simula - an Algol-based simulation language. Communications of the ACM, 9:671-678, Sept. 1966. Zbl0139.32903
24. [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. Zbl0810.68096MR1281759
25. [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. Zbl0822.68063MR1281760
26. [Ehr68] C. Ehresmann. Esquisses et types de structures algébriques. Bulletin de l'institut Polytechnique, Iasi 14, 1968. Zbl0196.03102MR238918
27. [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. 
28. [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. Zbl0557.68013MR788495
29. [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. Zbl0759.68013MR1036519
30. [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. 
31. [Gau84] M.-C. Gaudel. A first introduction to PLUSS. Technical report, Université d'Orsay, France, 1984. 
32. [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. Zbl0543.68021MR778942
33. [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. 
34. [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. Zbl0666.68010MR900615
35. [Gog73] J. A. Goguen. Categorical foundations for general systems theory. In Advances in Cybernetics and System Research, pages 121-130. Transcripta Books, 1973. 
36. [Gog92] J. A. Goguen. Sheaf semantics for concurrent interacting objects. Mathematical Structures in Computer Science, 2:159-191, 1992. Zbl0763.18005MR1171509
37. [Gol79] R. Goldblatt. Topoi: The Categorial Analysis of Logic, volume 98 of Studies in Logic and the Foundations of Mathematics. North Holland, 1979. Zbl0434.03050MR551362
38. [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. 
39. [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. 
40. [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. Zbl0359.68018MR520711
41. [Gut75] J. V. Guttag. The specification and application to programming of abstract data types. PhD thesis, University of Toronto, 1975. 
42. [Gut77] J. V. Guttag. Abstract data types and the development of data structures. Communication of the ACM, 6:396-404, 1977. Zbl0356.68022
43. [Huf92] J.-M. Hufflen. Proposal for GLIDER version 1.0: Principles and main features. ICARUS Technical Report, INRIA-LORRAINE & CRIN, 1992. 
44. [Law63] W. Lawvere. Functorial semantics of algebraic theories. Proc. Nat. Acad. Sci.. 50:869-873, 1963. Zbl0119.25901MR158921
45. [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. 
46. [LS86] J. Lambek and P. J. Scott. Introduction to higher order categorical logic. Cambridge studies in advanced mathematics, 1986. Zbl0596.03002MR856915
47. [LZ74] B. Liskov and S. Zilles. Programming with abstract data types. ACM SIGPLAN Notices, 9(4):50-59, 1974. 
48. [Mar95] A. Martins. La généralisation: un outil pour la réutilisation. PhD thesis, INPG, Grenoble, Mars 1995. 
49. [MB70] S. Mac Lane and G. Birkhoff. Algèbre. 1. Structures fondamentales. Gauthier-Villars, 1970. Zbl0201.01801MR266716
50. [McL71] S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971. Zbl0232.18001MR1712872
51. [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. Zbl0571.68004MR835461
52. [Ori94] C. Oriat. Representing modular specifications as diagrams. In Compte Rendu des Journées du GDR Programmation, Lille, pages 53-68, Septembre 1994. 
53. [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. 
54. [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. MR1426366
55. [Ren91] G. Renardel de Lavalette. Logical semantics of modularisation. In Proceedings of CSL '91, number 626 in LNCS, pages 306-315. Springer-Verlag, 1991. Zbl0819.68079MR1232896
56. [Rey87] J.-C. Reynaud. Sémantique de LPG. Research Report 651 I IMAG, LIFIA, Mars 1987. 
57. [Rey90a] J.-C. Reynaud. Putting algebraic components together: A dependent type approach. Research Report 810 I IMAG, LIFIA, Avril 1990. Extended version. MR1066214
58. [Rey90b] J.-C. Reynaud. Putting algebraic components together: A dependent type approach. In Proceedings of DISCO'90, number 429 in LNCS. Springer-Verlag, 1990. MR1066214
59. [Rey93] J.-C. Reynaud. Isomorphism of typed algebraic specifications. Internal Report, LGI-IMAG, Avril 1993. 
60. [See84] R. A. G. Seely. Locally cartesian closed categories and type theory. Math. Proc. Camb. Phil. Soc, 95(33):33-48, 1984. Zbl0539.03048MR727078
61. [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. MR488968
62. [SST92] D. Sannella, S. Sokolowski, and A. Tarlecki. Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica, 29:689-736, 1992. Zbl0790.68077MR1202065
63. [ST88] D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76:165-210, 1988. Zbl0654.68017MR935895
64. [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. Zbl0517.68043MR734738
65. [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. 
66. [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. Zbl0755.18004MR1142330
67. [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. Zbl0495.68020MR521047
68. [Wan79] M. Wand. Fixed-point constructions in order-enriched categories. Theoretical Computer Science, 8:13-30, 1979. Zbl0401.18005MR523657
69. [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. Zbl0637.68019MR835464
70. [Wir86] M. Wirsing. Structured algebraic specifications: A kernel language. Theoretical Computer Science, 42:123-249, 1986. Zbl0599.68021MR858687
71. [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. Zbl0900.68309MR1127198
72. [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.