Operational semantics: concepts and their expression

Authors:
Cliff B. Jones
Affiliations:
School of Computing Science, The University of Newcastle upon Tyne, Newcastle NE1 7RU, UK
Venue:
Information Processing Letters - Special issue: Contribution to computing science
Year:
2003

Citing 3
Cited 6

Action semantics

Action semantics
Revised report on the algorithm language ALGOL 60

Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

The atomic manifesto: a story in four quarks

ACM SIGOPS Operating Systems Review
The atomic manifesto: a story in four quarks

ACM SIGMOD Record
Splitting atoms safely

Theoretical Computer Science
Reasoning about programs via operational semantics: requirements for a support system

Automated Software Engineering
An Approach to Splitting Atoms Safely

Electronic Notes in Theoretical Computer Science (ENTCS)
Understanding programming language concepts via operational semantics

Domain modeling and the duration calculus

Quantified Score

Hi-index	0.00

Visualization

Abstract