10 citations · 18 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022
Refactoring = Substitution + Rewriting
Simon Thompson, Dániel Horpácsi
We present an approach to describing refactorings that abstracts away from particular refactorings to classes of similar transformations, and presents an implementation of these th…
cs.PL2022
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions
Dániel Horpácsi, Péter Bereczky, Simon Thompson
We aim to reason about the correctness of behaviour-preserving transformations of Erlang programs. Behaviour preservation is characterised by semantic equivalence. Based upon our e…