On the Modularity of Deciding Call-by-Need
Langue
en
Communication dans un congrès
Ce document a été publié dans
Foundations of Software Science and Computation Structures, Foundations of Software Science and Computation Structures, Foundations of Software Science and Computation Structures, 2001. 2001, vol. 2030, p. 199-213
Springer-Verlag
Résumé en anglais
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple decidability proofs for a hierarchy of ...Lire la suite >
Mots clés en anglais
Term rewriting
call-by-need