operational semantics

I. Anureev A. Promsky Conceptual transition systems and their application to development of conceptual models of programming languages // System Informatics. — . — # 9.  — P. 133-154
N. Shilov On Logical and Algebraic Foundations of Formal Semantics Classification // System Informatics. — . — # 6.  — P. 1-18
I. Anureev Operational conceptual transition systems and their application to development of conceptual operational semantics of programming languages // System Informatics. — . — # 9.  — P. 155-200
I. Anureev Operational Semantics of Reflex // System Informatics. — . — # 14.  — P. 1-10
I. Anureev Programming operational semantics of programming languages // System Informatics. — . — # 24.  — P. 91-100
Subscribe to operational semantics