Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования

Operational conceptual transition systems and their application to development of conceptual operational semantics of programming languages

Article's language
English
Abstract
In the paper the notion of the conceptual operational semantics of a programming language is proposed. This formalism represents operational semantics of a programming language in terms of its conceptual model based on conceptual transition systems. The special kind of conceptual transition systems, operational conceptual transition systems, oriented to specification of conceptual operational semantics of programming languages is defined, the extension of the language of conceptual transition systems CTSL for operational conceptual transition systems is described, and the technique of the use of the extended CTSL as a domain-specific language of specification of conceptual operational semantics of programming languages is proposed. The conceptual operational semantics for the family of sample programming languages illustrate this technique.
DOI
10.31144/si.2307-6410.2017.n9.p155-200
UDK
Pages
155-200
File
paper2_0.pdf870.72 KB
Number