10 citations · 17 across the 4 of their papers we have counts for
5 papers · 1 filter
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…
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou +22
Distributed actor languages are an effective means of constructing scalable reliable systems, and the Erlang programming language has a well-established and influential model. Whil…
Towards Trustworthy Refactoring in Erlang
Dániel Horpácsi, Judit Kőszegi, Simon Thompson
Tool-assisted refactoring transformations must be trustworthy if programmers are to be confident in applying them on arbitrarily extensive and complex code in order to improve styl…