A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
From MaRDI portal
Publication:5504599
Recommendations
- scientific article; zbMATH DE number 1701355
- Horn clauses as an intermediate representation for program analysis and transformation
- Static analysis, abstract interpretation and verification in (constraint logic) programming
- Algebraic Methodology and Software Technology
- Logic programs as compact denotations.
Cites work
- scientific article; zbMATH DE number 1617328 (Why is no real title available?)
- scientific article; zbMATH DE number 986407 (Why is no real title available?)
- scientific article; zbMATH DE number 1798185 (Why is no real title available?)
- scientific article; zbMATH DE number 2090844 (Why is no real title available?)
- A practical framework for theabstract interpretation of logic programs
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- Compile-time derivation of variable dependency using abstract interpretation
- Linear resolution with selection function
- Static Analysis
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
Cited in
(25)- scientific article; zbMATH DE number 1701355 (Why is no real title available?)
- Algebraic Methodology and Software Technology
- Incremental analysis of logic programs with assertions and open predicates
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
- Predicate pairing for program verification
- scientific article; zbMATH DE number 7453193 (Why is no real title available?)
- A transformational approach to parametric accumulated-cost static profiling
- A general framework for static cost analysis of parallel logic programs
- scientific article; zbMATH DE number 1508929 (Why is no real title available?)
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- A general framework for static profiling of parametric resource usage
- On recursion-free Horn clauses and Craig interpolation
- Incremental and modular context-sensitive analysis
- Parallel Logic Programming: A Sequel
- A type-based complexity analysis of object oriented programs
- VeriFly: On-the-fly Assertion Checking via Incrementality
- scientific article; zbMATH DE number 7453190 (Why is no real title available?)
- Introduction to the special issue on computational logic for verification
- Computing abstract distances in logic programs
- Fifty Years of Prolog and Beyond
- scientific article; zbMATH DE number 1696775 (Why is no real title available?)
- Test Data Generation of Bytecode by CLP Partial Evaluation
- Regular path clauses and their application in solving loops
- scientific article; zbMATH DE number 1956461 (Why is no real title available?)
- Three improvements to the top-down solver
This page was built for publication: A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504599)
