In order to reason about the behaviour of programs described in a programming language, a
mathematically rigorous definition of that language is needed. In this paper, we present a …

We aim to reason about the correctness of behaviour-preserving transformations of Erlang
programs. Behaviour preservation is characterised by semantic equivalence. Based upon …

A common problem in verification is to ensure that the formal specification models the real-
world system, ie, the implementation, faithfully. Testing is a technique that can help to bridge …

Refactoring source code has always been an active area of research. Since the uprising of
various deep learning methods, there have been several attempts to perform source code …

We present a small-step, frame stack style, semantics for sequential Core Erlang, a
dynamically typed, impure functional programming language. The semantics and the …

We aim to reason about the correctness of behaviour-preserving transformations of Erlang
programs. Behaviour preservation is characterised by semantic equivalence. Based upon …

In this paper, we adapt fundamental formalisations of expression equivalence to a Core
Erlang subset, ranging from the simplest behavioural equivalence to logical relations and …