Semantics of (Resilient) X10.

Silvia Crafa David Cunningham Vijay A. Saraswat Avraham Shinnar Olivier Tardieu

Published in: ECOOP (2014)

Keyphrases

formal semantics
logic programming
semantic information
update semantics
case study
machine learning
nonmonotonic reasoning
operational semantics
logical language
artificial intelligence
website
real time
conceptual graphs
default reasoning
real world
transformation rules
neural network