research
∙
09/13/2018
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
Dynamically typed languages, like Erlang, allow developers to quickly wr...
share
research
∙
06/19/2018
A Theory of Reversibility for Erlang
In a reversible language, any forward computation can be undone by a fin...
research
∙
10/08/2017
