| L'objectif principal de ce mémoire est d'étudier les fondements théoriques du langage Java. Pour ce faire, nous examinons l'état de l'art en matière de sémantique formelle de Java. En conséquence, nous discutons de la complétude et de la correction des propos avancés dans la littérature. En outre, nous rapportons une brève évaluation de la spécification officielle du langage Java au niveau du typage et nous montrons la subtilité de sa sémantique. Dans ce mémoire, nous contribuons en donnant une définition d'une sémantique statique réaliste qui couvre un très grand sous-ensemble de Java jusque là non formalisé. À travers cette définition, nous montrons les difficultés techniques sous-jacentes à la-mise au point de cette sémantique tout en discutant des traitements sémantiques adéquats pour répondre à ces difficultés. |
