A unified semantics for future Erlang.

Hans Svensson Lars-Åke Fredlund Clara Benac Earle

Published in: Erlang Workshop (2010)

Keyphrases

formal semantics
long term
database
information systems
case study
active rules
real time
high level
logic programming
semantic information
conceptual model
owl ontologies
unified model