A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

DOI10.1007/978-3-540-78769-3_11zbMath1179.68030OpenAlexW1596917824MaRDI QIDQ5504599

Jorge A. Navas, Mario Méndez-Lojo, Manuel V. 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/

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (18)

Three improvements to the top-down solver ⋮ A General Framework for Static Cost Analysis of Parallel Logic Programs ⋮ Incremental Analysis of Logic Programs with Assertions and Open Predicates ⋮ Computing Abstract Distances in Logic Programs ⋮ VeriFly: On-the-fly Assertion Checking via Incrementality ⋮ Fifty Years of Prolog and Beyond ⋮ Parallel Logic Programming: A Sequel ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ A general framework for static profiling of parametric resource usage ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Introduction to the special issue on computational logic for verification ⋮ Predicate Pairing for program verification ⋮ Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption ⋮ A Transformational Approach to Parametric Accumulated-Cost Static Profiling ⋮ Incremental and Modular Context-sensitive Analysis ⋮ Test Data Generation of Bytecode by CLP Partial Evaluation ⋮ On recursion-free Horn clauses and Craig interpolation

Uses Software

• JML
• SAS
• GENA
• TVLA
• Ciao
• CiaoPP
• BoogiePL
• Cibai

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear resolution with selection function
• Compile-time derivation of variable dependency using abstract interpretation
• Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation
• A practical framework for theabstract interpretation of logic programs
• Static Analysis

This page was built for publication: A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs