An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations-Reference-Cited by-同舟云学术

An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations

Published:1996 Issue: Volume: Page:174-188
ISSN:0302-9743
Container-title:Logic Program Synthesis and Transformation
language:
Short-container-title:

Author:

Vasconcelos Wamberto W.,Fuchs Norbert E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60939-3_14.pdf

Reference15 articles.

1. A. Bowles, D. Robertson, W. Vasconcelos, M. Vargas-Vera, D. Bental. Applying Prolog Programming Techniques. International Journal of Human-Computer Studies, 41(3):329–350, September 1994.

2. P. Flener. Logic Program Schemata: Synthesis and Analysis. Technical Report BU-CEIS-9502, Bilkent University, Ankara, Turkey, 1995.

3. P. Flener, Y. Deville. Logic Program Transformation through Generalization Schemata. Extended abstract accepted for LoPSTr'95 (Utrecht, the Netherlands, 20–22 September, 1995)

4. N. E. Fuchs and M. P. J. Fromherz. Schema-Based Transformations of Logic Programs. In: Proceedings of the Workshop in Logic Program Synthesis and Transformation (LoPSTr'91), Springer-Verlag, 1992.

5. T. S. Gegg-Harrison. Learning Prolog in a Schema-Based Environment. Instructional Science, 20:173–192, 1991.

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

1. Synthesis of Programs in Computational Logic;Program Development in Computational Logic;2004

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

3. On Correct Program Schemas;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