An operational semantics for android activities.

Étienne Payet Fausto Spoto

Published in: PEPM (2014)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
mobile devices
declarative semantics
machine learning
data model
database
databases
agent programming
denotational semantics
activity diagrams