Specialisation of Prolog and FCP programs using abstract interpretation

DOI10.1007/BF03037136zbMath0654.68025MaRDI QIDQ1108783

Ehud Shapiro, Michael Codish, John P. Gallagher

Publication date: 1988

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

logic programmingPrologabstract interpretationconcurrent logic programsOLDT resolution

Mathematics Subject Classification ID

Related Items (2)

Partial evaluation with inference rules ⋮ Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation

Cites Work

• Properties of substitutions and unifications
• On the partial computation principle
• Grammar Analysis and Parsing by Abstract Interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specialisation of Prolog and FCP programs using abstract interpretation