Integration of semantic verication into Java compilers

This paper introduces a method for static semantic analysis of source codes at com- pilation time directly within standard compilers. The method is implemented via unied integration with Java compilers to get the full access to Abstract Syntax Tree (AST) of compiled les after the semantic analysis s...

Full description

Bibliographic Details
Main Authors: A. V. Klepinin, A. A. Melentyev
Format: Article
Language:English
Published: Yaroslavl State University 2010-12-01
Series:Моделирование и анализ информационных систем
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/1053