Separate Compositional Analysis of Class-based Object-oriented

We present a separate compositional analysis for object-oriented languages.

We show how a generic static analysis of a context that uses an object can be split into two separate semantic functions involving respectively only

the context and the object. The fundamental idea is to use a regular expressions for approximating the interactions between the context and the object. Then, we introduce an iterative schema for composing the two semantic functions.

A first advantage is that the analysis can be parallelized, with a consequent gain in memory and time. Furthermore, the iteration process returns at each step an upper

approximation of the concrete semantics, so that the iterations can be stopped as soon as the desired degree of precision is reached. Finally, we instantiate our approach to a core object-oriented language with aliasing.

amast04.pdf
PDF file

In  Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST 2004)

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeInproceedings
Volume3116
> Publications > Separate Compositional Analysis of Class-based Object-oriented