Construction, évaluation et amélioration systématiques de structures de données
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980) no. 1, pp. 83-118.
@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 - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     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/}
}
Rémy, Jean-Luc. Construction, évaluation et amélioration systématiques de structures de données. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980) no. 1, pp. 83-118. http://www.numdam.org/item/ITA_1980__14_1_83_0/

1. G. M. Adel'Son-Vel'Skii et Y. M. Landis, An Algorithm for the Organization of Information; Soviet Math. Dokl., vol. 3, 1962, p. 1259-1262.

2. A. V. Aho, J. E. Hopcroft et J. D. Ullman, The Design and Analysis of Algorithms, Addison-Wesley, Reading, Mass., 1974.

3. J. Arsac, La construction de programmes structurés, Dunod, Paris. 1977. | Zbl 0451.68014

4. E. A. Ashcroft et W. W. Wadge, Lucid, a Nonprocedural Language with Iteration, Comm. A. C. M., vol. 20, n° 7, 1977, p. 519-526. | MR 474941 | Zbl 0358.68033

5. F. L. Bauer et H. Wossner, Algorithmic Language and Program Development, Prentice Hall International, London, 1979.

6. F. Bellegarde et al., Medee , A Type of Language for the Deductive Programming Method, Conference on Reliable Software, German A. C. M. Chapter, Bonn, 1978. | Zbl 0408.68014

7. R. M. Burstall et J. Darlington, A Transformation System for Developing Recursive Programs, J. A.C.M., vol. 24, 1977, p. 44-67. | MR 451816 | Zbl 0343.68014

8. R. M. Burstall et J. A. Goguen, Putting Theories Together to Make Specifications, Proc. of I.F.I.P. Conference, 1977, p. 1045-1058.

9. J. Darlington, Program Transformation and Synthesis: Present Capabilities, D.A.I. Research Report n° 48, University of Edinburgh, 1977.

10. J. Darlington, Program Transformation Involving Unfree Data Structures: an Example, 3e Coll. Int. sur la programmation, Dunod, Paris, 1978, p. 203-217. | MR 518771 | Zbl 0405.68017

11. M. Feather, « ZAP » Program Transformation System, Primer and Users' Manual, D.A.I. Research Report n° 54, University of Edinburgh, 1978.

12. J. P. Finance, Une formulation de la Sémantique des langages de programmation, R.A.I.R.O., vol. 10, Paris, 1976, p. 8-12. | Numdam | MR 423858

13. J. P. Finance, 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. M. C. Gaudel, A Formal Approach to Translation Specification, Information Processing 1977, B. GILCHRIST, éd., North Holland, Amsterdam, 1977 , p. 123-129. | Zbl 0363.68002

15. M. C. Gaudel et G. Terrine, 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.

16. J. A. Goguen, J. W. Hatcher, E. G. Wagner et J. B. Wright, Abstract Data Types as Initial Algebras and the Correctness of Data Representations, Proc. Conf. on Computer Graphics, Pattern Recognition and Data Structure, mai 1975.

17. J. V. Guttag, E. Horowitz et D. R. Musser, 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.

18. C. B. Jones, Constructing a Theory of a Data Structure as an Aid to Program Development, Acta Informatica, vol. 11, 1979, p. 119-128. | Zbl 0382.68029

19. D. E. Knuth, The Art of Computer Programming, 3. Sorting and Searching, Addison-Wesley, Reading, Mass., 1973. | MR 378456 | Zbl 0302.68010

20. P. Lescanne, Un calcul relationnel pour les structures de données, Rapport 76-R-029, Centre de Recherche en Informatique de Nancy, Nancy, 1976.

21. P. Lescanne, Étude algébrique et relationnelle des représentations de types abstraits, thèse d'état, Nancy, 1979.

22. B. Liskov et S. Zilles, Programming with Abstract Data Types, SIGPLAN, Notices, vol. 9, n° 4, 1974.

23. Z. Manna et R. Waldinger, Knowledge and Reasoning in Program Synthesis, Artif. Intel. J., vol. 6, 1975, p. 175-208. | MR 378457 | Zbl 0303.68012

24. C. Pair, La construction des programmes, Rapport 77-R-019, Centre de Recherche en Informatique de Nancy, Nancy, 1977.

25. C. Pair et M. C. Gaudel, Les structures d'information et leurs représentations, I.R.I.A., Rocquencourt, 1978.

26. A. Quere, Construction de Programmes Itératifs dans le cadre du langage MEDEE, Convention Informatique Latine, Barcelone, 1979.

27. J. L. Rémy, 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. W. P. De Roever, Operational, Mathematical and Axiomatized Semantics for Recursive Procedures and Data Structures, Rapport ID 1/74, Math. Centrum, Amsterdam, 1974.

29. M. Sintzoff, 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.