Schema-Based Transformations of Logic Programs (1991)

Cached

Download Links

by Norbert Fuchs , Markus P. J. Fromherz
Venue:In Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LoPSTr'92
Citations:36 - 8 self

Documents Related by Co-Citation

12771 Computers and Intractability; A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
150 TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – A. Pettorossi, M. Proietti - 1993
39 Applying Techniques to Skeletons – L. S. Sterling, M. Kirschenbaum - 1993
21 An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1996
641 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
702 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
2039 Foundations of Logic Programming – J Lloyd - 1987
778 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
668 The art of Prolog – L Sterling, E Shapiro - 1986