Presentation | 1999/3/19 A Basic Framework for Infinite Computation and Infinite Terms Kiyoshi Akama, Yoshinori Shigeta, Eiichi Miyamoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | There are some logic programs that do not terminate and yet are doing useful computation, in some sense. To give appropriate sense of infinite computation being "userul," a theory of logic programming has adopted greatest fixpoints of operators on the set of finite or infinite ground atoms since usual least fix point approach does not work in this case. However, this approach can not explain finite and infinite computation in a unified mannar. We propose a new approach to infinite computation based on equivalent transformation paradigm, where infinite computation is regarded as equivalent transformation and is given appropriate sense in the same way as usual finite computation. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | infinite computation / infinite term / greatest fixpoint / equivalent transformation |
Paper # | SS98-64 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1999/3/19(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 Basic Framework for Infinite Computation and Infinite Terms |
Sub Title (in English) | |
Keyword(1) | infinite computation |
Keyword(2) | infinite term |
Keyword(3) | greatest fixpoint |
Keyword(4) | equivalent transformation |
1st Author's Name | Kiyoshi Akama |
1st Author's Affiliation | Division of System and Information Engineering, Hokkaido University() |
2nd Author's Name | Yoshinori Shigeta |
2nd Author's Affiliation | Division of System and Information Engineering, Hokkaido University |
3rd Author's Name | Eiichi Miyamoto |
3rd Author's Affiliation | Division of System and Information Engineering, Hokkaido University |
Date | 1999/3/19 |
Paper # | SS98-64 |
Volume (vol) | vol.98 |
Number (no) | 676 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |