Core operational semantics of Proto.

Mirko Viroli Jacob Beal Matteo Casadei

Published in: SAC (2011)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
denotational semantics
declarative semantics
database
databases
machine learning
artificial intelligence
first order logic
activity diagrams