Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.
Huibiao ZhuFan YangJifeng HePublished in: UTP (2010)
Keyphrases
- denotational semantics
- event driven
- programming language
- operational semantics
- query language
- information delivery
- abstract data types
- software engineering
- real time
- markup language
- logic programming
- formal semantics
- general purpose
- conceptual model
- data types
- data management
- distributed systems
- publish subscribe
- object oriented
- high level
- metadata