Kinds and Language of Conceptual Transition Systems (original) (raw)
Related papers
2015
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 model programming languages. Each target language covers a certain type of the procedural language constructs. Thus, the paper can be also considered as a cookbook on the development of operational semantics of procedural programming languages.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.