Context-Sensitive Dependency Pairs Framework
We show how to develop a dependency pair framework for proving termination of context-sensitive rewriting.
| Author: | |
|---|---|
| Format: | master thesis |
| Publication Date: | 2008 |
| Country: | España |
| Institution: | Universitat Politècnica de València (UPV) |
| Repository: | RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| Language: | English |
| OAI Identifier: | oai:riunet.upv.es:10251/13625 |
| Online Access: | https://riunet.upv.es/handle/10251/13625 |
| Access Level: | Open access |
| Keyword: | Termination Context-sensitive rewriting Dependency pairs LENGUAJES Y SISTEMAS INFORMATICOS Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D&apos Informació |
| Summary: | We show how to develop a dependency pair framework for proving termination of context-sensitive rewriting. |
|---|