IOHK |
ライブラリー
ライブラリー > Jacco Krijnen
Jacco Krijnen
A Layered Certifying Compiler Architecture
Jacco Krijnen,Wouter Swierstra,Manuel Chakravarty,Joris Dral,Gabriele Keller
October/2025, To appear in: FUNARCH '25
Translation certification for smart contracts (SCP)
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
November/2023, Science of Computer Programming