Analyse statique modulaire des langages à objet. (Modular static analysis of object-oriented languages)

Francesco Logozzo. Analyse statique modulaire des langages à objet. (Modular static analysis of object-oriented languages). PhD thesis, École Polytechnique, Palaiseau, France, 2004. [doi]

Abstract

Abstract is missing.