[PDF][PDF] Minimal and optimal computations of recursive programs
G Berry, JJ Lévy - Journal of the ACM (JACM), 1979 - dl.acm.org
Vufllemm's results on opumal computations of recurswe programs are generalized New
syntactic results are obtained by considering spaces of denvauons instead of terms The
results apply to classes of mterpretauons more general than the sequential interpretations of
Vmllemm
syntactic results are obtained by considering spaces of denvauons instead of terms The
results apply to classes of mterpretauons more general than the sequential interpretations of
Vmllemm
[PDF][PDF] Minimal and Optimal Computations of Recursive Programs
JJ LÉVY - researchgate.net
Vuillemin's results on optimal computations of recursive programs are generalized. New
syntactic results are obtained by considering spaces of derivations instead of terms. The
results apply to classes of interpretations more general than the sequential interpretations of
Vuillemin.
syntactic results are obtained by considering spaces of derivations instead of terms. The
results apply to classes of interpretations more general than the sequential interpretations of
Vuillemin.
以上显示的是最相近的搜索结果。 查看全部搜索结果