Trace semantics for polymorphic references.

Guilhem Jaber Nikos Tzevelekos

Published in: CoRR (2016)

Keyphrases

formal semantics
genetic algorithm
logic programming
conceptual model
operational semantics
databases
case study
bayesian networks
owl ontologies
transformation rules
model theoretic
update semantics