并发线性框架中自动化交易系统的形式化
计算机科学中的逻辑
2019-04-16 v1
摘要
我们在并发线性框架CLF中给出了自动化交易系统（ATS）的一种声明式且模块化的规范。我们在Celf中实现了该规范，Celf是一个CLF类型检查器，同时也支持执行CLF规范。我们概述了使用生成文法对交易系统的两个代表性性质进行验证的方法，这是一种对CLF规范进行推理的途径。
引用
@article{arxiv.1904.06844,
title = {Formalization of Automated Trading Systems in a Concurrent Linear Framework},
author = {Iliano Cervesato and Sharjeel Khan and Giselle Reis and Dragiša Žunić},
journal= {arXiv preprint arXiv:1904.06844},
year = {2019}
}
备注
In Proceedings Linearity-TLLA 2018, arXiv:1904.06159