Specialising Logic Programs with Respect to Call?Post Specifications

Authors:
Annalisa Bossi;Sabina Rossi
Affiliations:
-;-
Venue:
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Year:
1998

Citing 14
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Inductive assertion method for logic programs

Theoretical Computer Science - International Joint Conference on Theory and Practice of Software Development, P
Declarative modeling of the operational behavior of logic languages

Theoretical Computer Science
A method for specializing logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic programming

Handbook of theoretical computer science (vol. B)
Partial evaluation in logic programming

Journal of Logic Programming
A model-theoretic reconstruction of the operational semantics of logic programs

Information and Computation
Proof methods of declarative properties of definite programs

Theoretical Computer Science
Verification of logic programs and imperative programs

Constructing logic programs
Program verification and Prolog

Specification and validation methods
From logic programming to Prolog

From logic programming to Prolog
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Verifying Correctness of Logic Programs

TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties

Selected Papers from the Internaltional Seminar on Partial Evaluation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a program specialisation method which, given a call/post specification, transforms a logic program into a weakly call-correct one satisfying the post-condition. The specialisation is applied to specialised partially correct programs. This notion is based on the definition of specialised derivation which is intended to describe program behaviour whenever some properties on procedure calls are assumed. Top-down and bottom-up semantics of specialised derivations are recalled.