@article{ITA_1980__14_1_83_0, author = {R\'emy, Jean-Luc}, title = {Construction, \'evaluation et am\'elioration syst\'ematiques de structures de donn\'ees}, journal = {RAIRO. Informatique th\'eorique}, pages = {83--118}, publisher = {EDP-Sciences}, volume = {14}, number = {1}, year = {1980}, zbl = {0434.68050}, language = {fr}, url = {http://www.numdam.org/item/ITA_1980__14_1_83_0/} }
TY - JOUR AU - Rémy, Jean-Luc TI - Construction, évaluation et amélioration systématiques de structures de données JO - RAIRO. Informatique théorique PY - 1980 SP - 83 EP - 118 VL - 14 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1980__14_1_83_0/ LA - fr ID - ITA_1980__14_1_83_0 ER -
Rémy, Jean-Luc. Construction, évaluation et amélioration systématiques de structures de données. RAIRO. Informatique théorique, Tome 14 (1980) no. 1, pp. 83-118. http://www.numdam.org/item/ITA_1980__14_1_83_0/
1. An Algorithm for the Organization of Information; Soviet Math. Dokl., vol. 3, 1962, p. 1259-1262.
et ,2. The Design and Analysis of Algorithms, Addison-Wesley, Reading, Mass., 1974.
, et ,3. La construction de programmes structurés, Dunod, Paris. 1977. | Zbl
,4. Lucid, a Nonprocedural Language with Iteration, Comm. A. C. M., vol. 20, n° 7, 1977, p. 519-526. | MR | Zbl
et ,5. Algorithmic Language and Program Development, Prentice Hall International, London, 1979.
et ,6. A Type of Language for the Deductive Programming Method, Conference on Reliable Software, German A. C. M. Chapter, Bonn, 1978. | Zbl
et al., ,7. A Transformation System for Developing Recursive Programs, J. A.C.M., vol. 24, 1977, p. 44-67. | MR | Zbl
et ,8. Putting Theories Together to Make Specifications, Proc. of I.F.I.P. Conference, 1977, p. 1045-1058.
et ,9. Program Transformation and Synthesis: Present Capabilities, D.A.I. Research Report n° 48, University of Edinburgh, 1977.
,10. Program Transformation Involving Unfree Data Structures: an Example, 3e Coll. Int. sur la programmation, Dunod, Paris, 1978, p. 203-217. | MR | Zbl
,11. « ZAP » Program Transformation System, Primer and Users' Manual, D.A.I. Research Report n° 54, University of Edinburgh, 1978.
,12. Une formulation de la Sémantique des langages de programmation, R.A.I.R.O., vol. 10, Paris, 1976, p. 8-12. | Numdam | MR
,13. De la spécification abstraite d'une donnée à sa représentation en mémoire, Théorie et techniques de l'Informatique, actes de Congrès de l'A.F.C.E.T., t. 1, 1978, Hommes et Techniques, Paris.
,14. A Formal Approach to Translation Specification, Information Processing 1977, B. GILCHRIST, éd., North Holland, Amsterdam, 1977 , p. 123-129. | Zbl
,15. Synthèse de la représentation d'un type abstrait par des types concrets, Théorie et Techniques de l'Informatique, actes du Congrès de l'A.F.C.E.T., t. 1, 1978, Hommes et Techniques, Paris.
et ,16. Abstract Data Types as Initial Algebras and the Correctness of Data Representations, Proc. Conf. on Computer Graphics, Pattern Recognition and Data Structure, mai 1975.
, , et ,17. The Design of Data Type Specifications, in Current Trends in Programming Methodology, IV, Data Structuring, R. T. YEH, éd., Prentice-Hall, Engl. Cliffs, New Jersey, 1978.
, et ,18. Constructing a Theory of a Data Structure as an Aid to Program Development, Acta Informatica, vol. 11, 1979, p. 119-128. | Zbl
,19. The Art of Computer Programming, 3. Sorting and Searching, Addison-Wesley, Reading, Mass., 1973. | MR | Zbl
,20. Un calcul relationnel pour les structures de données, Rapport 76-R-029, Centre de Recherche en Informatique de Nancy, Nancy, 1976.
,21. Étude algébrique et relationnelle des représentations de types abstraits, thèse d'état, Nancy, 1979.
,22. Programming with Abstract Data Types, SIGPLAN, Notices, vol. 9, n° 4, 1974.
et ,23. Knowledge and Reasoning in Program Synthesis, Artif. Intel. J., vol. 6, 1975, p. 175-208. | MR | Zbl
et ,24. La construction des programmes, Rapport 77-R-019, Centre de Recherche en Informatique de Nancy, Nancy, 1977.
,25. Les structures d'information et leurs représentations, I.R.I.A., Rocquencourt, 1978.
et ,26. Construction de Programmes Itératifs dans le cadre du langage MEDEE, Convention Informatique Latine, Barcelone, 1979.
,27. Structures d'Information, formalisation des notions d'accès et de modifications d'une donnée, Thèse 3e Cycle, Université de Nancy I, 1974.
,28. Operational, Mathematical and Axiomatized Semantics for Recursive Procedures and Data Structures, Rapport ID 1/74, Math. Centrum, Amsterdam, 1974.
,29. Inventing Program Construction Rules, Rapport 77-R-011, Centre de Recherche en Informatique de Nancy, Nancy, 1977; in Constructing Quality Software, P. G. HIBBARD et S. A. SCHUMAN, éd., North-Holland, 1978.
,