Presentation | 1994/7/7 An Typed Logic Language Based on The Theory of Declarative Programming Yuuichi Kawaguchi, Kiyoshi Akama, Eiichi Miyamoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We try to work with types on the logic language.By now,there were many researches that work with typed calculi,and they were constructed adding after usual calculi for datas.So they need a special treatment to types in their calculus objects,distinguish types and ordinal datas in such calculatiings.So they should introduce some special theory or method for typed calculi. In this paper,we show the integrated paradigm tahat make both types and datas into same calculus object.By means of this way,we donot distingish types and datas and take that each of them is a one side of the same objects. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Program Transformation / Type Theory |
Paper # | SS94-16 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1994/7/7(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) | An Typed Logic Language Based on The Theory of Declarative Programming |
Sub Title (in English) | |
Keyword(1) | Program Transformation |
Keyword(2) | Type Theory |
1st Author's Name | Yuuichi Kawaguchi |
1st Author's Affiliation | Tomakomai National College of Technology() |
2nd Author's Name | Kiyoshi Akama |
2nd Author's Affiliation | Department of Information Engineering,Faculty of Engineering, Hokkaido University |
3rd Author's Name | Eiichi Miyamoto |
3rd Author's Affiliation | Department of Information Engineering,Faculty of Engineering, Hokkaido University |
Date | 1994/7/7 |
Paper # | SS94-16 |
Volume (vol) | vol.94 |
Number (no) | 134 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |