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...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2010-12-01
|
Series: | Моделирование и анализ информационных систем |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/1053 |