Generation of a Reversible Semantics for Erlang in Maude.

Giovanni Fabbretti Ivan Lanese Jean-Bernard Stefani

Published in: ICFEM (2022)

Keyphrases

logic programming
formal specification
formal semantics
markov chain
semantic information
cellular automata
specification language
database
information systems
high level
natural language
first order logic
default reasoning
semantic representation
argumentation semantics