Computability and Complexity Results for a Spatial Assertion Language for Data Structures.

Cristiano Calcagno Hongseok Yang Peter W. O'Hearn

Published in: APLAS (2001)

Keyphrases

data structure
language learning
spatio temporal
searching in metric spaces
spatial information
spatial and temporal
natural language
language processing
spatial data
decision problems
space complexity
spatial reasoning
worst case
computational cost
data types
spatial relations
spatial correlation
machine learning