| Accession number;00A0296344 |
| Title;Functional Language Processing via Combinatory Logic and its relation to Graph Transformation System. |
| Author;SUGITO YOSHIO(Electrotech. Lab., Agency of Ind. Sci. and Technol.) |
Journal Title;IEIC Technical Report (Institute of Electronics, Information and Communication Engineers)
|
Journal Code:S0532B
|
ISSN:0913-5685
|
|
VOL.99;NO.548(SS99 60-64);PAGE.25-32(2000)
|
| Figure&Table&Reference;REF.7 |
| Pub. Country;Japan |
| Language;Japanese |
| Abstract;As one of the methods of processing functional language, there exists the way which evaluates and executes its corresponding combinatory logic codes by means of combinatory logic's reduction. In this paper, especially forcusing in case of using the framework of category theory(that is, categorical combinatory logic-CCL-), we try to execute its CCL-code using our graph transformation system(GMS-98) as the case study of using and estimating the system. (author abst.) |
