A Testing Perspective on Algebraic, Denotational, and Operational Semantics.

Bernhard K. Aichernig

Published in: UTP (2019)

Keyphrases

operational semantics
formal semantics
data model
mental states
model theoretic
declarative semantics
agent programming
activity diagrams
reinforcement learning
test cases