CiteSeer.IST Home  Related articles for:  Evaluation Strategies for Term Rewriting Systems - Nakamura (2002)   (Correct)

Active bibliography (related documents):
2.1:   Completeness and Strictness Analysis for the Evaluation.. - Nakamura, Futatsugi (2001)   (Correct)
1.4:   The Evaluation Strategy for Head Normal Form With and Without .. - Nakamura, Ogata (2001)   (Correct)
0.5:   A Framework for the Analysis of Syntactic Replacement Restrictions - Lucas (1999)   (Correct)
0.5:   Termination of Rewriting with Strategy Annotations - Lucas (2001)   (Correct)
0.4:   On Proving Termination of OBJ Programs with Positive Local.. - Lucas   (Correct)
0.4:   Computational Properties of Term Rewriting with Strategy Annotations - Lucas   (Correct)
0.4:   Modular Termination of Context-Sensitive Rewriting - Gramlich, Lucas (2002)   (Correct)
0.4:   Context-Sensitive Rewriting Strategies - Lucas (2000)   (Correct)
0.3:   Termination of Rewriting with Local Strategies - Fissore, Gnaedig, Kirchner (2001)   (Correct)
0.3:   Semantics of Programs with Strategy Annotations - Lucas (2003)   (Correct)
0.3:   An Extended Calculus of Constructions - Luo (1990)   (Correct)
0.3:   Programming with Equations: A Framework for Lazy Parallel.. - Sekar, Ramakrishnan (1992)   (Correct)
0.3:   Lazy Rewriting and Context-Sensitive Rewriting - Lucas (2002)   (Correct)
0.3:   Problems in Rewriting III - Dershowitz, Jouannaud, Klop (1995)   (Correct)
0.2:   Simple Termination of Context-Sensitive Rewriting - Gramlich, Lucas (2002)   (Correct)
0.2:   MU-TERM version 1.0 User's manual - Lucas   (Correct)
0.2:   Termination of on-demand rewriting and termination of OBJ programs - Lucas (2001)   (Correct)
0.2:   Stratego: A Language for Program Transformation based on.. - Visser (2001)   (Correct)
0.2:   Fxt - A Transformation Tool for XML Documents - Berlea, Seidl (2001)   (Correct)
0.2:   fxt - A Transformation Language for XML Documents - Berlea, Seidl (2001)   (Correct)

Similar documents based on text:
0.5:   How to Give Local Strategies to Function Symbols.. - Nagaya, Matsumoto, .. (1998)   (Correct)
0.4:   Argument Filtering Transformation - Kusakari, Nakamura, Toyama (1999)   (Correct)
0.3:   Java Bytecode as a Typed Term Calculus - Higuchi, Ohori (2002)   (Correct)
0.2:   Introducing OBJ - Goguen, Winkler, Meseguer.. (1993)   (Correct)
0.2:   The equivalence of the reductions with the E-strategy with.. - Takashi Nagaya   (Correct)
0.2:   Concurrent Object Composition in CafeOBJ - Iida, Matsumoto, Diaconescu..   (Correct)

System load high. Please wait...
Timeout. Please try your query later.
Related documents from co-citation:
2:   The evaluation strategy for head normal form with and without on-demand flags - Nakamura, Ogata - 2001
2:   An Ecient Context-Free Parsing Algorithm (context) - Early - 1970
1:   A Survey of Adaptable Grammars (context) - Christiansen - 1990
1:   The Art of the Metaobject Protocol (context) - Kiczales, Rivieres et al. - 1991
1:   IEEE Transactions on Software Engineering (context) - Heering, Klint et al. - 1990
1:   Compilers: Principles (context) - Aho, Sethi et al. - 1986
1:   Lazy rewriting and context-sensitive rewriting - Lucas - 2002
1:   Improving On-Demand Strategy Annotations - Alpuente, Escobar et al. - 2002
1:   Deductive Composition of Astronomical Software from Subroutine Libraries - Stickel, Waldinger et al.
1:   Meta-programming with concrete object syntax - Visser - 2002
1:   strategy annotations for OBJ (context) - Alpuente, Escobar et al. - 2003
1:   Worcester Polytechnic Institute (context) - Rubinstein, Shutt et al. - 1993
1:   Macros that work (context) - Clinger, Rees - 1991
1:   The OpenGL Programming Guide (context) - Woo, Neider et al. - 1997
1:   Prentice-Hall (context) - Kales - 1998
1:   Technical report (context) - vehicle, irregularities - 1982
1:   Logic Programming with Functions and Predicates: The language Babel (context) - Moreno-Navarro, Rodr - 1992
1:   An Architecture for an Open Compiler - Lamping, Kiczales et al. - 1993
1:   Context-sensitive computations in functional and functional logic programs - Lucas - 1997
1:   First-class macros have types - Bawden - 2000

CiteSeer.IST - Copyright Penn State and NEC