A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
From MaRDI portal
Publication:5504599
DOI10.1007/978-3-540-78769-3_11zbMATH Open1179.68030OpenAlexW1596917824MaRDI QIDQ5504599FDOQ5504599
Authors: Mario Méndez-Lojo, Jorge Navas, Manuel Hermenegildo 
Publication date: 22 January 2009
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/14319/
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- Title not available (Why is that?)
- Verification, Model Checking, and Abstract Interpretation
- Linear resolution with selection function
- Static Analysis
- A practical framework for theabstract interpretation of logic programs
- Verification, Model Checking, and Abstract Interpretation
- Compile-time derivation of variable dependency using abstract interpretation
- Title not available (Why is that?)
Cited In (25)
- 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
- Title not available (Why is that?)
- A transformational approach to parametric accumulated-cost static profiling
- A general framework for static cost analysis of parallel logic programs
- Title not available (Why is that?)
- 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
- Parallel Logic Programming: A Sequel
- Incremental and modular context-sensitive analysis
- On recursion-free Horn clauses and Craig interpolation
- A type-based complexity analysis of object oriented programs
- VeriFly: On-the-fly Assertion Checking via Incrementality
- Title not available (Why is that?)
- Introduction to the special issue on computational logic for verification
- Computing abstract distances in logic programs
- Fifty Years of Prolog and Beyond
- Test Data Generation of Bytecode by CLP Partial Evaluation
- Title not available (Why is that?)
- Regular path clauses and their application in solving loops
- Title not available (Why is that?)
- Three improvements to the top-down solver
- Title not available (Why is that?)
Uses Software
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)
