Sciweavers

Share
SLP
1990

Partial Evaluation for Hierarchies of Logic Theories

9 years 5 months ago
Partial Evaluation for Hierarchies of Logic Theories
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class of structuring policies for logic programming, capable of supporting both block- and inheritancebased systems. We show how the properties of soundness and completeness of Partial Evaluation in Logic Programming are preserved in this extended scheme.
Michele Bugliesi, Evelina Lamma, Paola Mello
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 1990
Where SLP
Authors Michele Bugliesi, Evelina Lamma, Paola Mello
Comments (0)
books