On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.
Hengyang WuYixiang ChenMin ZhangPublished in: TASE (2013)
Keyphrases
- denotational semantics
- temporal consistency
- programming language
- operational semantics
- temporal constraints
- query language
- processing speed
- spatial data
- spatial information
- general purpose
- spatio temporal
- abstract data types
- high level
- post processing
- artificial intelligence
- formal semantics
- software engineering
- object oriented