JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science : ISSN 0918-7553 >
IS-RR-1997 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/8376

Title: The equivalence of the reductions with the E-strategy with and without marks
Authors: Nagaya, Takashi
Matsumoto, Michihiro
Ogata, Kazuhiro
Futatsugi, Kokichi
Issue Date: 1997-08-13
Publisher: 北陸先端科学技術大学院大学情報科学研究科
Magazine name: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
Volume: IS-RR-97-0034F
Start page: 1
End page: 9
Abstract: The E-strategy is the evaluation strategy which is adopted by OBJ2, OBJ3, and CafeOBJ. OBJ2, OBJ3, and CafeOBJ also adopt the reduction with the E-strategy with marks. In this paper, we show the result of the reduction with marks coincides with the result of the reduction without marks if the E-strategies satisfy the conditions that the E-strategy list do not include 0, or the last element of the E-strategy list is 0. In the most of the practical usage, the above conditions are satisfied.
URI: http://hdl.handle.net/10119/8376
Material Type: publisher
Appears in Collections:IS-RR-1997

Files in This Item:

File Description SizeFormat
IS-RR-97-0034F.pdf605KbAdobe 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