1 citations · 1 across the 3 of their papers we have counts for
5 papers
Kani: A Model Checker for Rust
Rémi Delmas, Zyad Hassan, Qinheping Hu +9
Rust's ownership type system prevents memory errors in safe code, but certain desirable properties remain orthogonal to compilation: the soundness of unsafe operations (e.g., raw p…
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…
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…
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…
Towards Reversible Computation in Erlang
Naoki Nishida, Adrián Palacios, Germán Vidal
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…