Denotational Semantics of Hybrid Automata.

Abbas Edalat Dirk Pattinson

Published in: FoSSaCS (2006)

Keyphrases

denotational semantics
hybrid automata
programming language
finite state automata
operational semantics
query language
abstract data types
general purpose
databases
data mining
data model
knowledge representation
object oriented
database management systems