A Formal Semantics of Findel in Coq (Short Paper)

Autor:	Arusoaie, Andrei
Rok vydání:	2019
Předmět:	Computer Science - Programming Languages
Druh dokumentu:	Working Paper
Popis:	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. Comment: Presented in FROM 2019: http://from2019.projects.uvt.ro/
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1909.05464 Zobrazit plný text záznamu View this record from Arxiv