Formal Semantics for Music Notation control Flow.

Zeyu Jin Roger B. Dannenberg

Published in: ICMC (2013)

Keyphrases

formal semantics
control flow
modeling language
formal language
theorem prover
data flow
transition systems
business process models
speech acts
operational semantics
logical language
first order logic
modelling language
owl dl ontology
databases
memory hierarchy
real world