Operational semantics: Concepts and their expression
References (23)
- C.D. Allen, D.N. Chapman, C.B. Jones, A formal definition of ALGOL 60, Technical Report 12.105, IBM Laboratory Hursley,...
- et al.
Revised report on the algorithmic language Algol 60
Comm. ACM
(1963) - H. Bekič, D. Bjørner, W. Henhapl, C.B. Jones, P. Lucas, A formal definition of a PL/I subset, Technical Report 25.139,...
- H. Bekič, K. Walk, Formalization of storage properties, in: [6], 1971, pp....
Symposium on Semantics of Algorithmic Languages
(1971)- W. Henhapl, C.B. Jones, On the interpretation of GOTO statements in the ULD, Technical Report LN 25.3.065, IBM...
- et al.
Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages
(1974) - C.B. Jones, P. Lucas, Proving correctness of implementation techniques, in: [6], 1971, pp....
The transition from VDL to VDM
JUCS
(2001)
Semantics of context-free languages
Math. Systems Theory
(1968)
Cited by (18)
Structural operational semantics through context-dependent behaviour
2011, Journal of Logic and Algebraic ProgrammingSplitting atoms safely
2007, Theoretical Computer ScienceAn Approach to Splitting Atoms Safely. Extended Abstract
2006, Electronic Notes in Theoretical Computer ScienceConcurrency: Handling interference formally
2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Software support for course in semantics of programming languages
2017, 2017 IEEE 14th International Scientific Conference on Informatics, INFORMATICS 2017 - ProceedingsNew approach to categorical semantics for procedural languages
2017, Computing and Informatics
Copyright © 2003 Published by Elsevier B.V.