Combining Prolog Programs in a Techniques Editing System

Cached

Download Links

by Maria Vargas-Vera , Dave Robertson , Robert Inder , Zrobert Inder
Citations:3 - 1 self

Active Bibliography

An Environment for Building Prolog Programs Based on Knowledge about their Construction – María Vargas-Vera, Dave Robertson
A Mathematical Framework for the problem of the combination of Prolog Programs – María Vargas-Vera, Dave Robertson, Robert Inder
1 An Environment for Combining Prolog Programs – María Vargas-Vera, Dave Robertson, Robert Inder
12 Designing Prolog Programming Techniques – Wamberto Weber Vasconcelos - 1994
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
5 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 – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1995
1 Enhanced Schema-Based Transformations for Logic Programs and their Opportunistic Usage in Program Analysis and Optimisation – Wamberto W Vasconcelos, Norbert E Fuchs - 1995
24 Skeleton-based Agent Development for Electronic – Institutions Wamberto Vasconcelos, Wamberto W. Vasconcelos, Jordi Sabater, Carles Sierra, Joaquim Querol - 2002
TBPG -- A Techniques-Based – Program Generator Alberto, Alberto Castro
Building Large-Scale Prolog Programs using a Techniques Editing System – Sy St Em
Building Large-Scale Prolog Programs using a – Techniques Editing System, M. Vargas-vera, W. W. Vasconcelos, D. S. Robertson - 1993
An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations – Wamberto Vasconcelos Norbert, Norbert E. Fuchs - 1996
An Abstract Formulation of Correct Schemas for Program Synthesis – P. Flener, Kung-kiu Lau, Mario Ornaghi, Julian Richardson - 1999
2 Representing Logic Program Schemata in lambdaProlog – Timothy S. Gegg-harrison
2 Implicit program synthesis by a reversible metainterpreter – Henning Christiansen - 1998
11 Extensible Logic Program Schemata – Timothy S. Gegg-harrison
Prolog Program Development via Enhanced Schema-Based Transformations – Wamberto Vasconcelos Norbert, Norbert E. Fuchs - 1995
4 Prolog Program Development via Enhanced Schema-Based Transformations – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1995
15 Sharing of Computations – Torben Amtoft - 1993