A framework for bottom-up specialisation of logic programs

Wim Vanhoof, Danny De Schreye, Bern Martens

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque


In this paper, we develop a solid theoretical foundation for a bottom up program transformation, capable of specialising a logic program with respect to a set of unit clauses. Extending a well-known operator, originally introduced for composing logic programs, we define a bottom up partial deduction operator and prove correctness of the transformation with respect to the S-semantics. We also show how, within this framework, a concrete control strategy can be designed.

The transformation can be used as a stand-alone specialisation technique, useful when a program needs to be specialised w.r.t. its internal structure (e.g. a library of predicates w.r.t. an abstract data type) instead of a goal. On the other hand, the bottom up transformation can be combined with a more traditional top down partial deduction strategy. We conjecture that such a combined approach will finally enable good automatic specialisation of meta-programs.
langue originaleAnglais
titrePrinciples of Declarative Programming
Sous-titre10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings
rédacteurs en chefCatuscia Palamidessi, Hugh Glaser, Karl Meinke
ISBN (Electronique)978-3-540-49766-0
ISBN (imprimé)978-3-540-65012-6
Les DOIs
Etat de la publicationPublié - 1998
Evénement6th International Conference on Algebraic and Logic Programming - Pise, Italie
Durée: 16 sept. 199818 sept. 1998

Série de publications

NomLecture Notes in Computer Science
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

Une conférence

Une conférence6th International Conference on Algebraic and Logic Programming
Titre abrégéAPL'98
La villePise

Empreinte digitale

Examiner les sujets de recherche de « A framework for bottom-up specialisation of logic programs ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation