MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Call by Need Computations to Root-Stable Form." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Call by Need Computations to Root-Stable Form
by Aart Middeldorp — 1997 — In Proc. 24th ACM Symposium on Principles of Programming Languages
…Call by Need Computations to Root-Stable Form Aart Middeldorp Institute of Information Sciences…
Cited by 42 (5 self) – Add To MetaCart

On the Complexity of Deciding Call-by-Need
by Irène Durand, Aart Middeldorp — in: Proc. FoSSaCS, LNCS 2030, 2001
… consider call by need computations to root-stable form. As argued in Middeldorp [15], rootstable forms…
Add To MetaCart

Decidable Call by Need Computations in Term Rewriting (Extended Abstract)
by Irène Durand, Aart Middeldorp — 1997 — Proc. of 14th International Conference on Automated Deduction, CADE'97, LNAI 1249:4-18
… study decidable approximations to call by need computations to normal and root-stable forms in term…
Cited by 15 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB