JAIST Repository >
Research Center for Advanced Computing Infrastructure >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://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: http://hdl.handle.net/10119/3307
Material Type: author
Appears in Collections:e10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
S-66.pdf281KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology