Title :
Towards a generic framework for the abstract interpretation of Java
Author :
Jean-Franeois Raskin استاد مشاور , Agostino Cortesi استاد راهنما
University :
UCL )Les Bibliotheques de L,Universite Catholique de Louvain(
Major :
FSA 3 - Doctorat en sciences appliquees
Keyword :
Program analysis , object oriented programming , abstract interpretation , JAVA
