On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.

Hengyang Wu Yixiang Chen Min Zhang

Published 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