A Fully Abstract Trace Semantics for General References.

Published in: ICALP (2007)

Keyphrases

special case
real time
website
search algorithm
natural language
low level
higher level
closely related
database
neural network
genetic algorithm
decision making
case study
similarity measure
logic programming
semantic information