Presentation | 1998/1/30 Specialization Systems for Multiset Domains and Equivalent Transformation for Equality Constraints Kiyoshi Akama, Yuuichi Kawaguchi, Eiichi Miyamoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | A new theory of representation and computation for multiset domains was developed. A multiset (or a bag) is a generalization of sets, which allows multiple occurrences of an element. While conventional theories for multisets are based on the logic paradigm, this new theory is based on the equivalent transformation paradigm, where computation is regarded as "equivalent transformation of declarative descriptions." A class of specialization systems is proposed to formalize multiset domains. Basic propositions justifying equivalent transformation rules for equality constraints on multiset domains are discussed. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | multiset / specialization system / equivalent transformation / equality constraint |
Paper # | SS97-55 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1998/1/30(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) | Specialization Systems for Multiset Domains and Equivalent Transformation for Equality Constraints |
Sub Title (in English) | |
Keyword(1) | multiset |
Keyword(2) | specialization system |
Keyword(3) | equivalent transformation |
Keyword(4) | equality constraint |
1st Author's Name | Kiyoshi Akama |
1st Author's Affiliation | Division of System and Information Engineering, Hokkaido University() |
2nd Author's Name | Yuuichi Kawaguchi |
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 | 1998/1/30 |
Paper # | SS97-55 |
Volume (vol) | vol.97 |
Number (no) | 522 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |