Geodesic
Integration of semantic verification into Java compilers
Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 70-77

Voir la notice de l'article provenant de la source Math-Net.Ru

This paper introduces a method for static semantic analysis of source codes at compilation time directly within standard compilers. The method is implemented via unified integration with Java compilers to get the full access to Abstract Syntax Tree (AST) of compiled files after the semantic analysis stage of compilation process. The unified integration is implemented by common AST interfaces and adapters to AST implementations of Sun/Oracle javac and Eclipse Compiler for Java (ecj) compilers. This method provides transparent integration with Eclipse and Netbeans IDE without a need for any special plugins. Several examples of program verification rules are presented to demonstrate the method.
Keywords: program verification, AST, Eclipse IDE, Netbeans IDE.
Mots-clés : Java, compiler, JSR269, javac, ecj 
@article{MAIS_2010_17_4_a7,
     author = {A. V. Klepinin and A. A. Melent'ev},
     title = {Integration of semantic verification into {Java} compilers},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {70--77},
     publisher = {mathdoc},
     volume = {17},
     number = {4},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a7/}
}
TY  - JOUR
AU  - A. V. Klepinin
AU  - A. A. Melent'ev
TI  - Integration of semantic verification into Java compilers
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2010
SP  - 70
EP  - 77
VL  - 17
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a7/
LA  - ru
ID  - MAIS_2010_17_4_a7
ER  - 
%0 Journal Article
%A A. V. Klepinin
%A A. A. Melent'ev
%T Integration of semantic verification into Java compilers
%J Modelirovanie i analiz informacionnyh sistem
%D 2010
%P 70-77
%V 17
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a7/
%G ru
%F MAIS_2010_17_4_a7
A. V. Klepinin; A. A. Melent'ev. Integration of semantic verification into Java compilers. Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 70-77. http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a7/