A Reversible Semantics for Erlang.

Naoki Nishida Adrián Palacios Germán Vidal

Published in: LOPSTR (2016)

Keyphrases

logic programming
formal semantics
semantic information
markov chain
cellular automata
data mining
scheduling problem
conceptual model
specification language
logical framework
operational semantics
transformation rules
argumentation semantics