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:33 - 8 self

Documents Related by Co-Citation

17 An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1996
36 Applying Techniques to Skeletons – L. S. Sterling, M. Kirschenbaum - 1993
139 TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – A. Pettorossi, M. Proietti - 1993
19 Learning Prolog in a Schema-Based Environment – T S Gegg-Harrison - 1991
21 A Simple Prolog Techniques Editor for Novice Users – Dave Robertson - 1991
12 Logic Program Transformation through Generalization Schemata – Pierre Flener, Yves Deville - 1996
57 Logic Program Synthesis from Incomplete Specifications – Pierre Flener , Yves Deville - 1993
145 Proving and Applying Program Transformation Expressed with Second-Order Patterns – G Huet, B Lang - 1978
20 Basic Prolog Schemata – Timothy S Gegg-Harrison - 1989
11 Cliche programming in Prolog – Dave Barker-Plummer - 1990
13 Representing Logic Program Schemata in Prolog – Timothy S. Gegg-harrison - 1995
16 Skeletons and Techniques for Prolog Programming – M Kirschenbaum, A Lakhotia, L Sterling - 1989
213 Unfold/fold transformations of logic programs – H Tamaki, T Sato - 1984
68 Logic Programming: Systematic Program Development – Y Deville - 1990
8 Exploiting Program Schemata in a Prolog Tutoring System – Timothy S. Gegg-harrison, Timothy S. Gegg-harrison - 1993
11 Skeletons and Techniques as a Normative Approach to Program Development in Logic-based Languages – Marc Kirschenbaum, Spiro Michaylov, Leon Sterling - 1994
11 Declarative Logic Programming with Primitive Recursive Relations on Lists – Andreas Hamfelt, Jørgen Fischer Nilsson - 1996
151 The Craft of Prolog – Richard A O’Keefe - 1990
569 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977