Revisiting Concurrent Separation Logic and Operational Semantics.

Pedro Soares António Ravara Simão Melo de Sousa

Published in: PDP (2015)

Keyphrases

operational semantics
declarative semantics
model theoretic
term rewriting
formal semantics
denotational semantics
data model
mental states
activity diagrams
agent programming
logic programming
computational intelligence
deductive databases