Browsing by Subject Software refactoring
Showing results 1 to 6 of 6
Issue Date | Title | Author(s) |
2013-11 | Equivalence proofs for Erlang refactoring | Tanti, Erica; Francalanza, Adrian |
2018-12 | Full-abstraction for client testing preorders | Bernardi, Giovanni; Francalanza, Adrian |
2017 | Full-abstraction for must testing preorders | Bernardi, Giovanni; Francalanza, Adrian |
2012 | Towards a formalisation of Erlang failure and failure detection | Farrugia, Audrianne; Francalanza, Adrian |
2014 | Towards sound refactoring in ERLANG | Tanti, Erica (2014) |
2015-08 | Towards sound refactoring in erlang | Tanti, Erica; Francalanza, Adrian |