Sciweavers

LOPSTR
2000
Springer
14 years 2 months ago
Higher-order transformation of logic programs
Silvija Seres, J. Michael Spivey
LOPSTR
2000
Springer
14 years 2 months ago
A model for inter-module analysis and optimizing compilation
Francisco Bueno, Maria J. García de la Band...
LOPSTR
2000
Springer
14 years 2 months ago
A formal framework for synthesis and verification of logic programs
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
Alessandro Avellone, Mauro Ferrari, Camillo Fioren...