An Improved Full Abstraction Approach to Analyzing Locality Semantics.

Jianxin Xue Huan Long Guoqiang Li

Published in: TASE (2012)

Keyphrases

formal semantics
spatial locality
logic programming
conceptual model
real time
neural network
database systems
logic programs
semantic representation