Recommendations
Cites work
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 3982556 (Why is no real title available?)
- scientific article; zbMATH DE number 4053011 (Why is no real title available?)
- scientific article; zbMATH DE number 3735091 (Why is no real title available?)
- scientific article; zbMATH DE number 49478 (Why is no real title available?)
- A kripke-kleene semantics for logic programs*
- A practical framework for theabstract interpretation of logic programs
- Abstract interpretation based on Alexander Templates
- Abstract interpretation of logic programs using magic transformations
- Bottom-up abstract interpretation of logic programs
- Some global optimizations for a PROLOG compiler
- The Alexander Method - a technique for the processing of recursive axioms in deductive databases
- The Semantics of Predicate Logic as a Programming Language
Cited in
(7)- Efficient bottom-up execution of logic programs using abstract interpretation
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
- scientific article; zbMATH DE number 1926633 (Why is no real title available?)
- Abstract interpretation based on Alexander Templates
- scientific article; zbMATH DE number 1696854 (Why is no real title available?)
- Abstract interpretation of logic programs using magic transformations
- A simple correctness proof for magic transformation
This page was built for publication: Abstract interpretation: a kind of magic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673498)
