加载中…
2019-09-12
A Formal Semantics of Findel in Coq (Short Paper)
Andrei Arusoaie
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本