Program specific transition systems

A new kind of labeled transition systems, program specific transition systems, is proposed. These systems are used to formalize and unify some aspects of program handling. Such aspects as the development of program operational semantics and proof of safety properties of programs are considered, and the appropriate classes of program specific transition systems are defined. Ontological transition systems and operational ontological semantics are defined in terms of program specific transition systems.