|
JAIST Repository >
Research Center for Advanced Computing Infrastructure >
Articles >
Journal Articles >
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10119/3307
|
| Title: | The evaluation strategy for head normal form with and without on-demand flags |
| Authors: | Nakamura, M
Ogata, K |
| Issue Date: | 2000 |
| Publisher: | ELSEVIER SCIENCE B.V AMSTERDAM |
| Magazine name: | Electronic Notes in Theoretical Computer Science |
| Volume: | 36 |
| Start page: | 212 |
| End page: | 228 |
| DOI: | 10.1016/S1571-0661(05)80143-4 |
| Abstract: | We propose two conditions of the E-strategy with and without on-demand flags on which an evaluated term is always in head normal form. In rewriting with the E-strategy without (or with) on- demand flags, terms are evaluated according to a list of natural numbers (or integers) given to each function symbol. The first (or second ) condition is that if there exists a rule such that a function symbol f occurs in its left-hand side and its i-th argument is not a variable, a list of f must contain i(or －i), and if f is also a defined one, a list of f must contain 0 at the end. While there is no restriction w.r.t. the first condition, the second one can only be applied to left-linear constructor TRSs. But, There are cases in which rewriting with the E-strategy with on-demand flags terminates properly while that with the E-strategy without on-demand flags does not. We also propose a method of obtaining normal forms if a way to get head normal forms is given. |
| Rights: | Elsevier B.V., Masaki Nakamura and Kazuhiro Ogata, Electronic Notes in Theoretical Computer Science, 36, 2000, 212-228.
http://www.sciencedirect.com/science/journal/15710661 |
| URI: | https://hdl.handle.net/10119/3307 |
| Material Type: | author |
| Appears in Collections: | f10-1. 雑誌掲載論文 (Journal Articles)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| S-66.pdf | | 281Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
