3 papers
cs.PL2018
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios +2
Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. Howev…
cs.PL2018
A Theory of Reversibility for Erlang
Ivan Lanese, Naoki Nishida, Adrián Palacios +1
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programmin…
cs.PL2017
Reversible Computation in Term Rewriting
Naoki Nishida, Adrián Palacios, Germán Vidal
Essentially, in a reversible programming language, for each forward computation from state to state , there exists a constructive method to go backwards from state to…