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

magic templates algorithmdataflow analysis of logic programs

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

(11)

• Analysis of Linear Hybrid Systems in CLP
• scientific article; zbMATH DE number 5199142 (Why is no real title available?)
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Predicate pairing for program verification
• Bottom-up dataflow analysis of normal logic programs
• Path dependent analysis of logic programs
• Constrained dependencies
• scientific article; zbMATH DE number 1497834 (Why is no real title available?)
• On the complexity of dataflow analysis of logic programs
• Magic templates: a spellbinding approach to logic programs
• 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)