Separate compositional analysis of class-based object-oriented languages

DOI10.1007/978-3-540-27815-3_27MaRDI QIDQ5312991zbMATH OpenOpenAlexFDO

Authors Francesco Logozzo

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Modular static program analysis
• Class analysis of object-oriented programs through abstract interpretation
• Class-level modular analysis for object oriented languages
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Static Analysis

Cited in

(10)

• Types and trace effects for object orientation
• A type-based complexity analysis of object oriented programs
• Class invariants as abstract interpretation of trace semantics
• Compositional analysis of C/C++ programs with veriSoft
• Static reduction analysis for imperative object oriented languages
• Class analysis of object-oriented programs through abstract interpretation
• Semantics-based composition of class hierarchies
• Dimensions of precision in reference analysis of object-oriented programming languages
• Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

This page was built for publication: Separate compositional analysis of class-based object-oriented languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312991)