Dynamic structural operational semantics.

Christian Johansen Olaf Owe

Published in: J. Log. Algebraic Methods Program. (2019)

Keyphrases

operational semantics
formal semantics
mental states
database
denotational semantics
logic programs
dynamic environments
model theoretic