Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation (1995)

Cached

Download Links

by Wamberto W. Vasconcelos , Norbert E. Fuchs
Venue:Technical Report 95.24, Institut fur Informatik, Universitat
Citations:5 - 4 self

Active Bibliography

1 Enhanced Schema-Based Transformations for Logic Programs and their Opportunistic Usage in Program Analysis and Optimisation – Wamberto W Vasconcelos, Norbert E Fuchs - 1995
An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations – Wamberto Vasconcelos Norbert, Norbert E. Fuchs - 1996
33 Schema-Based Transformations of Logic Programs – Norbert Fuchs, Markus P. J. Fromherz - 1991
12 Designing Prolog Programming Techniques – Wamberto Weber Vasconcelos - 1994
4 Prolog Program Development via Enhanced Schema-Based Transformations – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1995
11 Extensible Logic Program Schemata – Timothy S. Gegg-harrison
24 Skeleton-based Agent Development for Electronic – Institutions Wamberto Vasconcelos, Wamberto W. Vasconcelos, Jordi Sabater, Carles Sierra, Joaquim Querol - 2002
4 Transformational Development of Logic Programs from Executable Specifications - Schema-Based Visual and Textual Composition of Logic Programs – Norbert E. Fuchs, Markus P.J. Fromherz - 1994
Schema-Based Logic Program Transformation – Engineering And Information, Ilyas C Icekli, Prof Mehmet Baray, Halime Buyukyildiz
2 Representing Logic Program Schemata in lambdaProlog – Timothy S. Gegg-harrison
9 Generalised Logic Program Transformation Schemas – Halime Büyükyıldız , Pierre Flener - 1997
An Abstract Formulation of Correct Schemas for Program Synthesis – P. Flener, Kung-kiu Lau, Mario Ornaghi, Julian Richardson - 1999
8 Exploiting Program Schemata in a Prolog Tutoring System – Timothy S. Gegg-harrison, Timothy S. Gegg-harrison - 1993
TBPG -- A Techniques-Based – Program Generator Alberto, Alberto Castro
An Environment for Building Prolog Programs Based on Knowledge about their Construction – María Vargas-Vera, Dave Robertson
3 Automatic Bottom-Up Analysis and Transformation of Logic Programs – Wamberto W. Vasconcelos, Marcelo A. T. Aragão, Marcelo A. T. Arag~ao, Norbert E. Fuchs - 1996
2 Implicit program synthesis by a reversible metainterpreter – Henning Christiansen - 1998
13 Representing Logic Program Schemata in Prolog – Timothy S. Gegg-harrison - 1995
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs – Spiro Michaylov, Iván Ordóñez - 1995