Free Access
Issue |
RAIRO. Inform. théor.
Volume 14, Number 1, 1980
|
|
---|---|---|
Page(s) | 83 - 118 | |
DOI | https://doi.org/10.1051/ita/1980140100831 | |
Published online | 01 February 2017 |
- 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. [Google Scholar]
- 2. A. V. AHO, J. E. HOPCROFT et J. D. ULLMAN, The Design and Analysis of Algorithms, Addison-Wesley, Reading, Mass., 1974. [Zbl: 0326.68005] [Google Scholar]
- 3. J. ARSAC, La construction de programmes structurés, Dunod, Paris. 1977. [Zbl: 0451.68014] [Google Scholar]
- 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] [Google Scholar]
- 5. F. L. BAUER et H. WOSSNER, Algorithmic Language and Program Development, Prentice Hall International, London, 1979. [Google Scholar]
- 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] [Google Scholar]
- 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] [Google Scholar]
- 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. [Google Scholar]
- 9. J. DARLINGTON, Program Transformation and Synthesis: Present Capabilities, D.A.I. Research Report n° 48, University of Edinburgh, 1977. [Google Scholar]
- 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] [Google Scholar]
- 11. M. FEATHER, « ZAP » Program Transformation System, Primer and Users' Manual, D.A.I. Research Report n° 54, University of Edinburgh, 1978. [Google Scholar]
- 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. [EuDML: 92038] [Zbl: 0356.68025] [MR: 423858] [Google Scholar]
- 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. [Google Scholar]
- 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] [Google Scholar]
- 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. [Google Scholar]
- 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. [Google Scholar]
- 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. [Google Scholar]
- 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] [Google Scholar]
- 19. D. E. KNUTH, The Art of Computer Programming, 3. Sorting and Searching, Addison-Wesley, Reading, Mass., 1973. [MR: 378456] [Zbl: 0302.68010] [Google Scholar]
- 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. [Google Scholar]
- 21. P. LESCANNE, Étude algébrique et relationnelle des représentations de types abstraits, thèse d'état, Nancy, 1979. [Google Scholar]
- 22. B. LISKOV et S. ZILLES, Programming with Abstract Data Types, SIGPLAN, Notices, vol. 9, n° 4, 1974. [Google Scholar]
- 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] [Google Scholar]
- 24. C. PAIR, La construction des programmes, Rapport 77-R-019, Centre de Recherche en Informatique de Nancy, Nancy, 1977. [Google Scholar]
- 25. C. PAIR et M. C. GAUDEL, Les structures d'information et leurs représentations, I.R.I.A., Rocquencourt, 1978. [Google Scholar]
- 26. A. QUERE, Construction de Programmes Itératifs dans le cadre du langage MEDEE, Convention Informatique Latine, Barcelone, 1979. [Google Scholar]
- 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. [Google Scholar]
- 28. W. P. DE ROEVER, Operational, Mathematical and Axiomatized Semantics for Recursive Procedures and Data Structures, Rapport ID 1/74, Math. Centrum, Amsterdam, 1974. [Google Scholar]
- 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. [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.