Academia.eduAcademia.edu

Outline

Recursive Path Orderings can be Context-Sensitive

2002

https://doi.org/10.1007/3-540-45620-1_27

Abstract

Context-sensitive rewriting (CSR) is a simple restriction of rewriting which can be used e.g. for modelling non-eager evaluation in programming languages. Many times termination is a crucial property for program verification. Hence, developing tools for automatically proving termination of CSR is necessary. All known methods for...