Construction, évaluation et amélioration systématiques de structures de données
RAIRO. Informatique théorique, 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. 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  - 
%0 Journal Article
%A Rémy, Jean-Luc
%T Construction, évaluation et amélioration systématiques de structures de données
%J RAIRO. Informatique théorique
%D 1980
%P 83-118
%V 14
%N 1
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1980__14_1_83_0/
%G fr
%F ITA_1980__14_1_83_0
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. 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

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

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

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

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

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

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

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

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

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

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.