A Compositional Trace Semantics for Orc.

Dimitrios Vardoulakis Mitchell Wand

Published in: COORDINATION (2008)

Keyphrases

formal semantics
specification language
artificial intelligence
logic programming
semantic information
data sets
information systems
e learning
search algorithm
query processing
data sources
programming language
owl ontologies
logical framework
proof theory