并行线性框架下自动交易系统的形式化

CoRR Pub Date : 2019-04-15 DOI:10.4204/EPTCS.292.1

I. Cervesato, Sharjeel Khan, Giselle Reis, D. Zunic

{"title":"并行线性框架下自动交易系统的形式化","authors":"I. Cervesato, Sharjeel Khan, Giselle Reis, D. Zunic","doi":"10.4204/EPTCS.292.1","DOIUrl":null,"url":null,"abstract":"We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which also supports executing CLF specifications. We outline the verification of two representative properties of trading systems using generative grammars, an approach to reasoning about CLF specifications.","PeriodicalId":10720,"journal":{"name":"CoRR","volume":"33 1","pages":"1-14"},"PeriodicalIF":0.0000,"publicationDate":"2019-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Formalization of Automated Trading Systems in a Concurrent Linear Framework\",\"authors\":\"I. Cervesato, Sharjeel Khan, Giselle Reis, D. Zunic\",\"doi\":\"10.4204/EPTCS.292.1\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which also supports executing CLF specifications. We outline the verification of two representative properties of trading systems using generative grammars, an approach to reasoning about CLF specifications.\",\"PeriodicalId\":10720,\"journal\":{\"name\":\"CoRR\",\"volume\":\"33 1\",\"pages\":\"1-14\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-04-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"CoRR\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.292.1\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"CoRR","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.292.1","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

我们提出了一个并行线性框架CLF中的自动交易系统(ATS)的声明性和模块化规范。我们在Celf中实现了它，Celf是一个CLF类型检查器，它也支持执行CLF规范。我们概述了使用生成语法验证交易系统的两个代表性属性，生成语法是一种推理CLF规范的方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Formalization of Automated Trading Systems in a Concurrent Linear Framework

We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which also supports executing CLF specifications. We outline the verification of two representative properties of trading systems using generative grammars, an approach to reasoning about CLF specifications.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

CoRR

自引率

0.00%

发文量