Login / Signup
An Operational Semantics for Android Applications.
Mohamed A. El-Zawawy
Published in:
ICCSA (5) (2016)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
data model
mental states
agent programming
declarative semantics
activity diagrams
denotational semantics
database
case study
source code