Voir la notice de l'article provenant de la source Numdam
@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://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1980 SP - 83 EP - 118 VL - 14 IS - 1 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1980 %P 83-118 %V 14 %N 1 %I EDP-Sciences %U http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980) no. 1, pp. 83-118. http://geodesic.mathdoc.fr/item/ITA_1980__14_1_83_0/
1. et , An Algorithm for the Organization of Information; Soviet Math. Dokl., vol. 3, 1962, p. 1259-1262.
2. , et , The Design and Analysis of Algorithms, Addison-Wesley, Reading, Mass., 1974.
3. , La construction de programmes structurés, Dunod, Paris. 1977. | Zbl
4. et , Lucid, a Nonprocedural Language with Iteration, Comm. A. C. M., vol. 20, n° 7, 1977, p. 519-526. | Zbl | MR
5. et , Algorithmic Language and Program Development, Prentice Hall International, London, 1979.
6. et al., , A Type of Language for the Deductive Programming Method, Conference on Reliable Software, German A. C. M. Chapter, Bonn, 1978. | Zbl
7. et , A Transformation System for Developing Recursive Programs, J. A.C.M., vol. 24, 1977, p. 44-67. | Zbl | MR
8. et , Putting Theories Together to Make Specifications, Proc. of I.F.I.P. Conference, 1977, p. 1045-1058.
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. | Zbl | MR
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. | MR | mathdoc-id
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. et , 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. , , et , 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. , et , 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. , 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. | Zbl | MR
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. et , Programming with Abstract Data Types, SIGPLAN, Notices, vol. 9, n° 4, 1974.
23. et , Knowledge and Reasoning in Program Synthesis, Artif. Intel. J., vol. 6, 1975, p. 175-208. | Zbl | MR
24. , La construction des programmes, Rapport 77-R-019, Centre de Recherche en Informatique de Nancy, Nancy, 1977.
25. et , Les structures d'information et leurs représentations, I.R.I.A., Rocquencourt, 1978.
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.