Class analysis of object-oriented programs through abstract interpretation

DOI10.1007/3-540-45315-6_17MaRDI QIDQ2769434zbMATH OpenFDO

Authors Fausto Spoto, Thomas Jensen

Publication date 5 February 2002

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/2030/20300261

zbMATH Keywords

abstract interpretationclass analysisdomain theoryobject-oriented languagessemantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2090839
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Verification, Model Checking, and Abstract Interpretation
• Class invariants as abstract interpretation of trace semantics
• Algebraic Methodology and Software Technology

Cited in

(12)

• Logic programs as compact denotations.
• Class invariants as abstract interpretation of trace semantics
• Formalization and analysis of class loading in Java
• Static reduction analysis for imperative object oriented languages
• scientific article; zbMATH DE number 1956461 (Why is no real title available?)
• scientific article; zbMATH DE number 2090838 (Why is no real title available?)
• scientific article; zbMATH DE number 2090839 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• 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
• Verification, Model Checking, and Abstract Interpretation
• Deriving escape analysis by abstract interpretation

This page was built for publication: Class analysis of object-oriented programs through abstract interpretation

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