|
Trudy SPIIRAN, 2013, Issue 25, Pages 255–276
(Mi trspy560)
|
|
|
|
Towards technology of development of operational semantics of computer languages: unified format of labelled transition systems
I. S. Anureev A. P. Ershov Institute of Informatics Systems Sib. Br. RAS
Abstract:
A formalism for description of labelled transition systems, which unifies the format of states of the systems, the format of computer language instructions represented by labels of the systems and the format and semantics of transition rules, and thus makes the development of operational semantics of computer languages more technological, is proposed.
Keywords:
operational semantics, labelled transition systems.
Received: 04.12.2012
Citation:
I. S. Anureev, “Towards technology of development of operational semantics of computer languages: unified format of labelled transition systems”, Tr. SPIIRAN, 25 (2013), 255–276
Linking options:
https://www.mathnet.ru/eng/trspy560 https://www.mathnet.ru/eng/trspy/v25/p255
|
|