Reversible Programs Have Reversible Semantics.

Robert Glück Robin Kaarsgaard Tetsuo Yokoyama

Published in: FM Workshops (2) (2019)

Keyphrases

cellular automata
markov chain
social networks
logic programming
dynamic logic
data mining
genetic algorithm
logic programs
default reasoning
formal semantics
fixpoint
speech acts
declarative semantics