Trace semantics for polymorphic references.

Guilhem Jaber Nikos Tzevelekos

Published in: LICS (2016)

Keyphrases

formal semantics
data sets
logic programming
semantic information
transformation rules
semantic relationships
neural network
bayesian networks
specification language
active rules