Equivalent Transformation by Safe Extension of Data Structures-Reference-Cited by-同舟云学术

Equivalent Transformation by Safe Extension of Data Structures

Published:2001 Issue: Volume: Page:140-148
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Akama Kiyoshi,Koike Hidekatsu,Mabuchi Hiroshi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45575-2_15

Reference11 articles.

1. Aït-Kaci, H. and Nasr, R., LOGIN: A Logic Programming Language with Built-In Inheritance, The Journal of Logic Programming, 3 (1986).

2. Akama, K., PAL: An Extended Prolog with Inheritance Hierarchy, information processing society of Japan, Vol.28 No.4 pp.27–34 (1987).

3. Akama, K., Nomura, Y., and Miyamoto, E., Semantic Interpretation of Natural Languages by Program Transformation, Computer Software, Vol.12, No.5, pp.45–62 (1995).

4. Akama, K., Shigeta, Y., and Miyamoto, E., A Framework of Problem Solving by Equivalent Transformation of Logic Program, J. Japan Soc. Artif. Intell., Vol.12, No.2, pp.90–99 (1997).

5. Brough, D. R. and Hogger, C. J., Compiling Associativity into Logic Programs, The Journal of Logic Programming, Vol.4, pp.345–359 (1987).

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics;Software Engineering and Computer Systems;2011

2. Converting Constraint Handling Rules to Equivalent Transformation Rules;Journal of Advanced Computational Intelligence and Intelligent Informatics;2006-05-20

3. Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model;Journal of Advanced Computational Intelligence and Intelligent Informatics;2006-05-20

4. Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method;Perspectives of Systems Informatics