A Formal Semantics of Findel in Coq (Short Paper)
Programming Languages
2019-09-13 v1
Abstract
We present the first formal semantics of Findel - a DSL for specifying financial derivatives. The semantics is encoded in Coq, and we use it to prove properties of several Findel contracts.
Keywords
Cite
@article{arxiv.1909.05464,
title = {A Formal Semantics of Findel in Coq (Short Paper)},
author = {Andrei Arusoaie},
journal= {arXiv preprint arXiv:1909.05464},
year = {2019}
}
Comments
Presented in FROM 2019: http://from2019.projects.uvt.ro/