9 citations · 19 across the 5 of their papers we have counts for
5 papers
Translation Certification for Smart Contracts
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller +1
Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pie…
A Computational Evaluation of Musical Pattern Discovery Algorithms
Iris Ren, Anja Volk, Wouter Swierstra +1
Pattern discovery algorithms in the music domain aim to find meaningful components in musical compositions. Over the years, although many algorithms have been developed for pattern…
Combining predicate transformer semantics for effects: a case study in parsing regular languages
Anne Baanen, Wouter Swierstra
This paper describes how to verify a parser for regular expressions in a functional programming language using predicate transformer semantics for a variety of effects. Where our p…
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht
Jurriën Stutterheim, Wouter Swierstra, Doaitse Swierstra
This paper documents our experience using declarative languages to give secondary school students a first taste of Computer Science. The course aims to teach students a bit about p…
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine
Wouter Swierstra
This paper presents the derivation of an executable Krivine abstract machine from a small step interpreter for the simply typed lambda calculus in the dependently typed programming…