Source Code: Hidden Knowledge and How to Show It?

The talk is devoted to the problem of deep analysis of the semantics of programs represented in the source code and visual (easy to perceive) display of knowledge about its semantics. A number of approaches and technologies aimed at extraction and visualization of knowledge about the semantics of programs, including "hidden semantics", as well as the general architecture of software systems are proposed.