Abstract interpretation of logic programs using magic transformations

DOI10.1016/0743-1066(94)90050-7zbMath0795.68037OpenAlexW2011380290MaRDI QIDQ4285643

Saumya 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)

Related Items (6)

Constrained dependencies ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Unnamed Item ⋮ Abstract interpretation: a kind of magic ⋮ Predicate Pairing for program verification ⋮ Analysis of Linear Hybrid Systems in CLP

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