Scifaro

中文

Findel在Coq中的形式语义（短论文）

编程语言 2019-09-13 v1

作者: Andrei Arusoaie

在 arXiv 上查看 ↗ PDF ↗

摘要

我们给出了Findel（一种用于指定金融衍生品的DSL）的首个形式语义。该语义在Coq中编码，并用其证明了若干Findel合约的性质。

关键词

形式语义 Findel 领域特定语言金融衍生品 Coq 合约验证

引用

@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}
}

备注

Presented in FROM 2019: http://from2019.projects.uvt.ro/