Presentation | 1997/9/18 A Consideration on Efficient Implementations of Order-sorted Term Rewriting Kazuhiro Ogata, Kokichi Futatsugi, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Some specifications of stacks are first used to show order-sorted term rewriting to handle errors and exceptions appropriately. Next, we describe how to process order-sorts in TRAM and point out a problem of the TRAM's method. Then, we find some clues of how to solve the problem. TRAM definitely decides which declaration is used for each of operations in the rules according to sorts of variables in the rules, i.e. disambiguates the rules, when rewrite rules are compiled. The disambiguation may lead to a tremendous number of disambiguated rewrite rules. Although the disambiguation might be indispensable for fast order-sorted rewriting, we describe a reasonable implementation method of order-sorted rewriting without the disambiguation. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | order-sorted term rewriting / TRAM / ARM / CafeOBJ / OBJ3 / OBJ2 |
Paper # | SS97-21 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1997/9/18(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Consideration on Efficient Implementations of Order-sorted Term Rewriting |
Sub Title (in English) | |
Keyword(1) | order-sorted term rewriting |
Keyword(2) | TRAM |
Keyword(3) | ARM |
Keyword(4) | CafeOBJ |
Keyword(5) | OBJ3 |
Keyword(6) | OBJ2 |
1st Author's Name | Kazuhiro Ogata |
1st Author's Affiliation | Graduate School of Information Science Japan Advanced Institute of Science and Technology() |
2nd Author's Name | Kokichi Futatsugi |
2nd Author's Affiliation | Graduate School of Information Science Japan Advanced Institute of Science and Technology |
Date | 1997/9/18 |
Paper # | SS97-21 |
Volume (vol) | vol.97 |
Number (no) | 260 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |