Sciweavers

37

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

14 years 3 months ago

Higher-order transformation of logic programs

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

35

LOPSTR
2000
Springer

103views Automated Reasoning» more LOPSTR 2000»

A model for inter-module analysis and optimizing compilation

14 years 3 months ago

A model for inter-module analysis and optimizing compilation

Download clip.dia.fi.upm.es

Francisco Bueno, Maria J. García de la Band...

claim paper

Read More »

51

LOPSTR
2000
Springer

133views Automated Reasoning» more LOPSTR 2000»

A formal framework for synthesis and verification of logic programs

14 years 3 months ago

A formal framework for synthesis and verification of logic programs

Download www.dicom.uninsubria.it

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...

claim paper

Read More »