Transformation techniques for context-sensitive rewrite systems


Context-sensitive rewriting is a computational restriction of term rewriting used to model non-strict (lazy) evaluation in functional programming. The goal of this paper is the study and development of techniques to analyze the termination behavior of context-sensitive rewrite systems. For that purpose, several methods have been proposed in the literature… (More)
DOI: 10.1017/S0956796803004945

1 Figure or Table


  • Presentations referencing similar topics