Static reduction analysis for imperative object oriented languages

DOI10.1007/3-540-44404-1_22MaRDI QIDQ2767030zbMATH OpenFDO

Authors Gilles Barthe, Bernard Paul Serpette

Publication date 22 July 2002

Published in Lecture Notes in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44404-1_22

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1948395
• Class analysis of object-oriented programs through abstract interpretation
• Algebraic Methodology and Software Technology
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Precise interprocedural side-effect analysis

Cited in

(1)

• scientific article; zbMATH DE number 1948395 (Why is no real title available?)

This page was built for publication: Static reduction analysis for imperative object oriented languages

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