10 citations · 18 across the 10 of their papers we have counts for
10 papers
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…
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…
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…
A Comparison of Big-step Semantics Definition Styles
Péter Bereczky, Dániel Horpácsi, Simon Thompson
Formal semantics provides rigorous, mathematically precise definitions of programming languages, with which we can argue about program behaviour and program equivalence by formal m…
A Proof Assistant Based Formalisation of Core Erlang
Péter Bereczky, Dániel Horpácsi, Simon Thompson
Our research is part of a wider project that aims to investigate and reason about the correctness of scheme-based source code transformations of Erlang programs. In order to formal…
Proceedings Sixth Workshop on Trends in Functional Programming in Education
Simon Thompson
The Sixth International Workshops on Trends in Functional Programming in Education, TFPIE 2017, was held on 22 June 2017 at the University of Kent, in Canterbury, UK, and was co-lo…