Machine-checked natural semantics for Core Erlang: exceptions and side effects.

Péter Bereczky Dániel Horpácsi Simon J. Thompson

Published in: Erlang Workshop (2020)

Keyphrases

multiple inheritance
logic programming
formal semantics
semantic information
real world
operational semantics
data sets
graphical representation
batch processing
default rules