Mathematical Foundations of Informatics and Programming

Analysis of some program sources semantic aspects based on formal syntax and semantics specifications

A. M. Saukh

Institute of System Dynamics and Control Theory, Siberian Branch of the Russian Academy of Sciences, Irkutsk

Abstract: 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.

UDC: 004.4'41