Une charpente de semi-unification
Durieux, J.-L. ; Saint-James, E.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 173-226 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1988-01-01
@article{ITA_1988__22_2_173_0,
     author = {Durieux, J.-L. and Saint-James, E.},
     title = {Une charpente de semi-unification},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {22},
     year = {1988},
     pages = {173-226},
     mrnumber = {951338},
     zbl = {0645.68047},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1988__22_2_173_0}
}

Durieux, J.-L.; Saint-James, E. Une charpente de semi-unification. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) pp. 173-226. http://gdmltest.u-ga.fr/item/ITA_1988__22_2_173_0/

1. M. A. Arbib et E. G. Manes, Arrows, Structures, and Functors - The Categorical Imperative, Academic Press Inc, 1975. | MR 364383 | Zbl 0374.18001

2. R. S. Bird, The Promotion and Accumulation Strategies in Transformational Programming, A.C.M.-T.O.P.L.A.S., vol. 6, n° 4, octobre 1984, p. 487-504. | Zbl 0542.68006

3. B. Courcelle et F. Lavandier, Définitions récursives par cas, R.A.I.R.O. Informatique théorique, vol. 18, n° 2, 1983, p. 91-129. | Numdam | MR 761512 | Zbl 0562.68004

4. J. Darlington, Program Transformations, Functional Programming and its applications, Henderson and Turner, Cambridge University Press, 1982.

5. J.-L. Durieux, Interprétation du langage PLASMA, Actes 10e École de Printemps, « Compilation et Interprétation », LITP 83.17, Paris, mars 1982.

6. P. Emanuelson et A. Haraldsson, On Compiling Embedded Languages in LISP, Conf. Record LISP-Conference 1980, p. 208-215.

7. P. Emanuelson, Systematic Specification and Compilation of Patterns, Tech Rep. Software System Research Center, Linköping University, 1982.

8. D. Eppstein, A Heuristic Approach to Program Inversion, Actes I.J.C.A.I. 1985, p. 219-221.

9. J. Foisseau, R. Jacquart, M. Lemaître, M. Lemoine et G. Zanon, Le système SPRAC : expression et gestion de spécifications, d'algorithmes et de représentations, TSI, vol 4, n° 2, p. 237-254.

10. J. Heering, Partial Evaluation and Ω-Completeness of Algebraic Specifications, Esprit Project GIPE, Deliverable 5, D5.A1, novembre 1985. | MR 784427 | Zbl 0606.68017

11. R. E. Korf, Inversion of Applicative Programs, Actes I.J.C.A.I. 1981, Vancouver, p. 1007-1009.

12. A. Pettorossi, Transformation Strategies for Deriving On Line Programs, Actes CAAP86, Nice, mars 1986, Springer-LNCS, n° 214, p. 127-141. | MR 848790 | Zbl 0589.68010

13. E. Saint-James, Fonctionnalité et filtrage : nouveaux algorithmes en logique combinatoire typée, Thèse 3e Cycle, LITP 84.39, Paris, juin 1982.

14. J. E. Stoy, Mathematical Aspects of Functional Programming , dans « Functional Programming and its Applications », p. 217-252, Darlington, Henderson and Turner editors, Cambridge University Press, 1982.

15. D. Turner, Recursion Equations as a Programming Language, dans « Functional Programming and its Applications », p. 1-28, Darlington, Henderson et Turner ed., Cambridge University Press, 1982.

16. M. Wand, Continuation Based Program Transformation Strategies, J.A.C.M., vol. 27, n° 1, 1980p. 164-180. | MR 554288 | Zbl 0429.68028

17. D. S. Wile, Program Developments : Formal Explanations of Implementations, C.A.C.M., vol. 26, n° 11, 1983, p. 902-911.