7 citations · 12 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…