Eugene Zouev

The evolution of approaches to the design of advanced language oriented tools for non-compilation manipulations on programs is discussed. The notion of semantic representation (SR) as the basis of such tools is introduced. SR is considered as a composition of information structures together with corresponding functionality which holds the comprehensive knowledge about the program semantics. The major components of the semantic representation of C++ programs (project SemantiC+) are considered and discussed. The most important and novel features of the SemantiC+ representation are the support for SR generation incorporated into the SR and the semantic search feature which enables powerful and sophisticated semantic queries to the SR in an easy and elegant way.

Download presentation


Eugene Zouev has graduated from the Computer Science Department of Moscow State University and got the doctoral degree (PhD) there in 1999. He has been working in a number of defense research and development centers and later in the Research Computing Center of Moscow University. For many years he was giving lecture courses and doing researches in Moscow University and in some high reputable European technical universities including ETH Zurich (2000-2006) and EPFL Lausanne (2009-2010). He has been running a number of successful research and industrial software projects in the area of programming languages and compilers (C++ and Zonnon compilers are among them). Now he is a head of the division of advanced projects in the Interstron company (Moscow).