Presentation | 1999/1/23 On Unification of Organic Programming Language GAEA Hiroshi Ishikawa, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | One of our current reserch interests is to give an operational semantic of GAEA, called Organic Programming Language, to analyze some interesting properties of itself, to guide how we should or should not write programs in GAEA, and so on.GAEA has a new data type called infons.An infon is a unit of information that is a compound term with some arguments consist of role-value pairs. Unification algorithms used in ordinary prolog systems cannot deal with it.In this paper, we mentioned some significant points to give an operational semantics of unification that can deal with infons. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Organic Programming Language GAEA / Unification / Infons |
Paper # | SS98-48 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1999/1/23(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) | On Unification of Organic Programming Language GAEA |
Sub Title (in English) | |
Keyword(1) | Organic Programming Language GAEA |
Keyword(2) | Unification |
Keyword(3) | Infons |
1st Author's Name | Hiroshi Ishikawa |
1st Author's Affiliation | Information Process Engineering, Fukuyama University() |
Date | 1999/1/23 |
Paper # | SS98-48 |
Volume (vol) | vol.98 |
Number (no) | 559 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |