MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Infinitary Normalization." – sorted by Relevance.

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

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

16 documents found, showing 1 through 10. Next 10 →

ATOM

Infinitary Normalization
by Jan Willem Klop, Roel De Vrijer — 2005 — We Will Show Them: Essays in Honour of Dov Gabbay
…Infinitary Normalization Jan Willem Klop and Roel de Vrijer Dedicated to Dov Gabbay…
Cited by 3 (1 self) – Add To MetaCart

Context-Freeness and Infinitary Normalization
by Aart Middeldorp — 1999 — In Proc. of 14th Japanese Term Rewriting Meeting. Nara Institute of Science and Technology
…Context-Freeness and Infinitary Normalization 1 Aart Middeldorp University of Tsukuba In [2…
Cited by 2 (0 self) – Add To MetaCart

Khasidashvili Z. An abstract Böhm-normalization. in
by John Glauert, Zurab Khasidashvili — 2002 — Proc. WRS’02, Electronic Notes in Computer Science, Elsevier Science B.V
… a needed strategy for infinitary orthogonal TRSs. A different approach to normalization is developed…
Cited by 1 (1 self) – Add To MetaCart

Context-Sensitive Rewriting Strategies
by Salvador Lucas — 1997
… of these strategies for root-normalization, normalization, and infinitary normalization. We show that this theory…
Cited by 31 (23 self) – Add To MetaCart

A Calculus of Coroutines
by J. Laird
… equivalence in the calculus, and also to equivalence of evaluation trees, which are infinitary normal forms…
Cited by 1 (0 self) – Add To MetaCart

Call by Need Computations to Root-Stable Form
by Aart Middeldorp — 1997 — In Proc. 24th ACM Symposium on Principles of Programming Languages
…-neededness is more fundamental than (other variants of) neededness when it comes to infinitary normalization. 1…
Cited by 42 (5 self) – Add To MetaCart

Semantics of Programs with Strategy Annotations
by Salvador Lucas — 2003
…, normalization, functional evaluation, and infinitary normalization. Our results apply to the aforementioned…
Cited by 6 (6 self) – Add To MetaCart

Termination of (Canonical) Context-Sensitive Rewriting
by Salvador Lucas — 2002 — Proc. of 13th International Conference on Rewriting Techniques and Applications, RTA'02, LNCS
…. Keywords: (infinitary) normalization, term rewriting, termination. 1 Introduction A replacement map is a…
Cited by 9 (5 self) – Add To MetaCart

Productivity of Stream Definitions
by Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop A — 2007 — In Proceedings of FCT 2007, number 4639 in LNCS
… of (infinitary) normal forms. In the functional programming literature the notion of ‘productivity’ has arisen…
Cited by 1 (0 self) – Add To MetaCart

Cyclic Lambda Graph Rewriting
by Zena M. Ariola, Jan Willem Klop — 1994 — In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science
… infinitary confluence.) However, identifying the larger class of terms without head normal form does restore…
Cited by 28 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB