3 citations · 6 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 3 cited
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★ 2 cited
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…