| Title | Just-in-time: on strategy annotations |
| Publication Type | Book Chapter |
| Year of Publication | 2001 |
| Authors | van de Pol JC |
| Book Title | 735 |
| Pagination | 17 |
| Publisher | Centrum voor Wiskunde en Informatica (CWI) |
| City | ISSN 1386-369X |
| Keywords | interpreter, normalization, strategy annotations, term rewrite systems, TRS |
| Abstract | A simple kind of strategy annotations is investigated, giving rise to a class of strategies, including leftmost-innermost. It is shown that under certain restrictions, an interpreter can be written which computes the normal form of a term in a bottom-up traversal. The main contribution is a correctness proof of this interpreter. Furthermore, a default strategy is provided, called just-in-time, which satisfies the criteria for the interpreter. The just-in-time strategy has a better termination behaviour than innermost rewriting for many interesting examples.% |
| URL | http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R0105.ps.Z |