Schema-Based Transformations of Logic Programs-Reference-Cited by-同舟云学术

Schema-Based Transformations of Logic Programs

Published:1992 Issue: Volume: Page:111-125
ISSN:1431-1682
Container-title:Logic Program Synthesis and Transformation
language:
Short-container-title:

Author:

Fuchs Norbert E.,Fromherz Markus P. J.

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3494-7_9

Reference15 articles.

1. P. Brna, A. Bundy, T. Dodd, M. Eisenstadt, CK. Looi, H. Pain, B. Smith, M. van Someren, Prolog Programming Techniques, DAI Research Paper, 403, Department of Artificial Intelligence, University of Edinburgh, 1988

2. R. Burs tall, J. Darlington, Transformations for Developing Recursive Programs, J ACM, Vol. 24, No. 1,1977

3. Y. Deville, J. Burnay, Generalization and Program Schemata. Proceedings of the North American Conference on Logic Programming 1989, E. L. Lusk, R. A. Overbeek (eds.), MIT Press, October 1989, pp. 409-425.

4. J. Gallagher, Program Analysis and Transformation, Handout at Logic Programming Summer School LPSS’ 90, University of Zurich, August 1990

5. P. A. Gardner, J. C. Shepherdson, Unfold/Fold Transformations of Logic Programs, Report PM-89-01, School of Mathematics, University of Bristol, 1989

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

1. Guided programming and automated error analysis in an intelligent Prolog tutor;International Journal of Human-Computer Studies;2004-10

2. An empirical study of the LSS specification toolkit in use;Journal of Systems and Software;1998-08

3. Implicit Program Synthesis by a Reversible Metainterpreter;Logic Program Synthesis and Transformation;1998

4. Logic Program Schemas, Constraints, and Semi-unification;Logic Program Synthesis and Transformation;1998

5. Generalised Logic Program Transformation Schemas;Logic Program Synthesis and Transformation;1998