Class-level modular analysis for object oriented languages

DOI10.1007/3-540-44898-5_3MaRDI QIDQ4813390zbMATH OpenFDO

Authors Francesco Logozzo

Publication date 13 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940037.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Class invariants as abstract interpretation of trace semantics
• Modular class analysis with DATALOG
• Class analysis of object-oriented programs through abstract interpretation
• Modular verification of static class invariants

Cited in

(12)

• Classes extraction from procedural programs
• Class invariants as abstract interpretation of trace semantics
• Modular invariants for layered object structures
• Class analysis of object-oriented programs through abstract interpretation
• Modular control flow analysis for libraries
• Modular static program analysis
• Modular class analysis with DATALOG
• Computer Science Logic
• Separate compositional analysis of class-based object-oriented languages
• Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
• Modular verification of static class invariants
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Class-level modular analysis for object oriented languages

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