摘要: 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 o... 展开
作者 | Van de Pol, J. C. | ||
---|---|---|---|
原报告号 | PB2009102519 | 总页数 | 22 |
报告类别/文献类型 | PB / NTIS科技报告 | ||
关键词 | Strategy annotations Strategies Leftmost-innermost Interpreter Just-in-time Default strategy |