3 papers
cs.PL2023
A Formalisation of Core Erlang, a Concurrent Actor Language
Péter Bereczky, Dániel Horpácsi, Simon Thompson
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…
cs.PL2023
A Frame Stack Semantics for Sequential Core Erlang
Péter Bereczky, Dániel Horpácsi, Simon Thompson
We present a small-step, frame stack style, semantics for sequential Core Erlang, a dynamically typed, impure functional programming language. The semantics and the properties that…
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…