A Reversible Operational Semantics for Imperative Programming Languages.

Maribel Fernández Ian Mackie

Published in: ICFEM (2020)

Keyphrases

operational semantics
programming language
denotational semantics
formal semantics
object oriented
general purpose
data model
activity diagrams
software engineering
mental states
high level
database languages
strongly typed
artificial intelligence
logic programming
lambda calculus
concurrent programming