Abstract Interpretation with Specialized Definitions
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1420812
- Specialisation of Prolog and FCP programs using abstract interpretation
- Abstract multiple specialization and its application to program parallelization
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- scientific article; zbMATH DE number 2090844
Cited in
(14)- Specialisation of Prolog and FCP programs using abstract interpretation
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- scientific article; zbMATH DE number 3947598 (Why is no real title available?)
- scientific article; zbMATH DE number 1954117 (Why is no real title available?)
- scientific article; zbMATH DE number 2090844 (Why is no real title available?)
- Abstract multiple specialization and its application to program parallelization
- scientific article; zbMATH DE number 1420812 (Why is no real title available?)
- scientific article; zbMATH DE number 7453197 (Why is no real title available?)
- Incremental analysis of logic programs with assertions and open predicates
- Control-flow refinement by partial evaluation, and its application to termination and cost analysis
- Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
- Context-sensitive meta-constraint systems for explainable program analysis
This page was built for publication: Abstract Interpretation with Specialized Definitions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613381)
