Geodesic
Analysis of some program sources semantic aspects based on formal syntax and semantics specifications
Prikladnaya Diskretnaya Matematika. Supplement, no. 5 (2012), pp. 110-111 
A. M. Saukh. Analysis of some program sources semantic aspects based on formal syntax and semantics specifications. Prikladnaya Diskretnaya Matematika. Supplement, no. 5 (2012), pp. 110-111. http://geodesic.mathdoc.fr/item/PDMA_2012_5_a58/
@article{PDMA_2012_5_a58,
     author = {A. M. Saukh},
     title = {Analysis of some program sources semantic aspects based on formal syntax and semantics specifications},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {110--111},
     year = {2012},
     number = {5},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2012_5_a58/}
}
TY  - JOUR
AU  - A. M. Saukh
TI  - Analysis of some program sources semantic aspects based on formal syntax and semantics specifications
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2012
SP  - 110
EP  - 111
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/PDMA_2012_5_a58/
LA  - ru
ID  - PDMA_2012_5_a58
ER  - 
%0 Journal Article
%A A. M. Saukh
%T Analysis of some program sources semantic aspects based on formal syntax and semantics specifications
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2012
%P 110-111
%N 5
%U http://geodesic.mathdoc.fr/item/PDMA_2012_5_a58/
%G ru
%F PDMA_2012_5_a58

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

In this work, the problem of syntax and semantic analysis of program sources written in different languages is considered. The programming language is considered to be specified by describing the lexis as a set of regular expressions and the syntax as a context-free grammar with a set of controlling structures matching grammar rules. These controlling structures manage abstract syntax tree building and other analysis tasks. All these allow performing some sort of semantic analysis against the source written in the specified language.

[1] Akho A. V., Lam M. S., Seti R., Ulman D. D., Kompilyatory. Printsipy, tekhnologii i instrumentarii, Vilyams, M., 2008, 1184 pp.