9 citations · 19 across the 5 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022★ 1 cited
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…
cs.PL2012★ 6 cited
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…