Sémantique dynamique et analyse de flot de contrôle pour Java - Yahyaoui, Hamdi (ProQuest Dissertations and Theses, 2000)