Correct and Complete (Positive) Strategy
✍
María Alpuente; Santiago Escobar; Salvador Lucas
📂
Article
📅
2004
🏛
Elsevier Science
🌐
English
⚖ 318 KB
Strategy annotations are used in several rewriting-based programming languages to introduce replacement restrictions aimed at improving efficiency and/or reducing the risk of nontermination. Unfortunately, rewriting restrictions can have a negative impact on the ability to compute normal forms. In t