The methodology of the operational semantics development for programming
languages based on the operational ontological approach, conceptual
transition systems and CTSL, the language for the specification of such systems, is
proposed. The development of operational semantics is illustrated by an example
of procedural programming languages from the family MPL of...