Une charpente de semi-unification

J.-L. Durieux; E. Saint-James

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1988)

  • Volume: 22, Issue: 2, page 173-226
  • ISSN: 0988-3754

How to cite

top

Durieux, J.-L., and Saint-James, E.. "Une charpente de semi-unification." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 22.2 (1988): 173-226. <http://eudml.org/doc/92306>.

@article{Durieux1988,
author = {Durieux, J.-L., Saint-James, E.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {semi-unification; pattern-matching algorithm; tree-structured lists; Lisp; S-expressions; recursive equations; functional expressions; combinatory logic; rule based systems},
language = {fre},
number = {2},
pages = {173-226},
publisher = {EDP-Sciences},
title = {Une charpente de semi-unification},
url = {http://eudml.org/doc/92306},
volume = {22},
year = {1988},
}

TY - JOUR
AU - Durieux, J.-L.
AU - Saint-James, E.
TI - Une charpente de semi-unification
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1988
PB - EDP-Sciences
VL - 22
IS - 2
SP - 173
EP - 226
LA - fre
KW - semi-unification; pattern-matching algorithm; tree-structured lists; Lisp; S-expressions; recursive equations; functional expressions; combinatory logic; rule based systems
UR - http://eudml.org/doc/92306
ER -

References

top
  1. 1. M. A. ARBIB et E. G. MANES, Arrows, Structures, and Functors - The Categorical Imperative, Academic Press Inc, 1975. Zbl0374.18001MR364383
  2. 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. Zbl0542.68006
  3. 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. Zbl0562.68004MR761512
  4. 4. J. DARLINGTON, Program Transformations, Functional Programming and its applications, Henderson and Turner, Cambridge University Press, 1982. 
  5. 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. 6. P. EMANUELSON et A. HARALDSSON, On Compiling Embedded Languages in LISP, Conf. Record LISP-Conference 1980, p. 208-215. 
  7. 7. P. EMANUELSON, Systematic Specification and Compilation of Patterns, Tech Rep. Software System Research Center, Linköping University, 1982. Zbl0502.68001
  8. 8. D. EPPSTEIN, A Heuristic Approach to Program Inversion, Actes I.J.C.A.I. 1985, p. 219-221. 
  9. 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. 10. J. HEERING, Partial Evaluation and Ω-Completeness of Algebraic Specifications, Esprit Project GIPE, Deliverable 5, D5.A1, novembre 1985. MR784427
  11. 11. R. E. KORF, Inversion of Applicative Programs, Actes I.J.C.A.I. 1981, Vancouver, p. 1007-1009. 
  12. 12. A. PETTOROSSI, Transformation Strategies for Deriving On Line Programs, Actes CAAP86, Nice, mars 1986, Springer-LNCS, n° 214, p. 127-141. Zbl0589.68010MR848790
  13. 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. 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. 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. 16. M. WAND, Continuation Based Program Transformation Strategies, J.A.C.M., vol. 27, n° 1, 1980p. 164-180. Zbl0429.68028MR554288
  17. 17. D. S. WILE, Program Developments : Formal Explanations of Implementations, C.A.C.M., vol. 26, n° 11, 1983, p. 902-911. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.