A denotational semantics for stateflow.

Grégoire Hamon

Published in: EMSOFT (2005)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
multi agent
data analysis
database
artificial intelligence
association rules
object oriented
general purpose
itemsets