A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects.

Atsushi Ohori Katsuhiro Ueno Tomohiro Sasaki Daisuke Kikuchi

Published in: ECOOP (2016)

Keyphrases

spatial reasoning
temporal reasoning
dynamic environments
attribute values
d objects
moving objects
databases
computer vision
information systems
web pages
query language
spatial relationships
multiple objects
real world objects