Abstract interpretation of logic programs using magic transformations

DOI10.1016/0743-1066(94)90050-7MaRDI QIDQ4285643zbMATH OpenOpenAlexFDO

Authors Saumya K. Debray, Raghu Ramakrishnan

Publication date 11 September 1994

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(94)90050-7

zbMATH Keywords

dataflow analysis of logic programsmagic templates algorithm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Abstract interpretation: a kind of magic
• Bottom-up dataflow analysis of normal logic programs
• Abstract interpretation and application to logic programs
• Bottom-up abstract interpretation of logic programs
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand

Cited in

(14)

• Constrained dependencies
• Path dependent analysis of logic programs
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
• Analysis of Linear Hybrid Systems in CLP
• Magic templates: a spellbinding approach to logic programs
• Bottom-up dataflow analysis of normal logic programs
• Exploiting goal independence in the analysis of logic programs
• scientific article; zbMATH DE number 1497834 (Why is no real title available?)
• Predicate pairing for program verification
• scientific article; zbMATH DE number 879004 (Why is no real title available?)
• On the complexity of dataflow analysis of logic programs
• scientific article; zbMATH DE number 5199142 (Why is no real title available?)
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Abstract interpretation: a kind of magic

This page was built for publication: Abstract interpretation of logic programs using magic transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4285643)