ECMA-335 Static Formal Semantics

摘要

One of the efficient approaches to creating trusted software consists in the construction of a formal model that reflects its semantics and subsequent code verification with the use of this model. This work presents results of studies aimed at constructing a general model for description of static formal semantics of programs represented as a high-level intermediate code conforming to the ECMA-335 standard.