Vers une sémantique statique formelle pour Java
Guardado en:
| Publicado en: | ProQuest Dissertations and Theses (2000) |
|---|---|
| Autor principal: | |
| Publicado: |
ProQuest Dissertations & Theses
|
| Materias: | |
| Acceso en línea: | Citation/Abstract |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Resumen: | 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. The main objective of this dissertation is to study the theoretical foundations of the Java language. To do this, we examine the state of the art in formal Java semantics. Accordingly, we discuss the completeness and correctness of the statements made in the literature. Furthermore, we report a brief evaluation of the official Java language specification at the typing level and show the subtlety of its semantics. In this thesis, we contribute by giving a definition of a realistic static semantics that covers a very large subset of previously unformalized Java. Through this definition, we show the technical difficulties underlying the development of this semantics while discussing the appropriate semantic processing to respond to these difficulties. |
|---|---|
| ISBN: | 9780612489257 |
| Fuente: | ProQuest Dissertations & Theses Global |