Formalization of Automated Trading Systems in a Concurrent Linear Framework

被引：1
|
作者：
Cervesato, Iliano [1 ]
Khan, Sharjeel [1 ]
Reis, Giselle [1 ]
Zunic, Dragisa [1 ]
机构：
[1] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2019年 / 292期
关键词：
FORMAL VERIFICATION;
D O I：
10.4204/EPTCS.292.1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：1 / 14
页数：14
相关论文
共 50 条
  • [21] Topological framework of stepwise specification for concurrent systems
    Sendai Natl Coll of Technology, Sendai-shi, Japan
    IEICE Trans Fund Electron Commun Comput Sci, 11 (1760-1767):
  • [22] A topological framework of stepwise specification for concurrent systems
    Ando, T
    Takahashi, K
    Kato, Y
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (11): : 1760 - 1767
  • [23] Celf -: A logical framework for deductive and concurrent systems
    Schack-Nielsen, Anders
    Schurmann, Carsten
    AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 320 - 326
  • [24] A formalization of a concurrent object calculus up to α-conversion
    Gillard, G
    AUTOMATED DEDUCTION - CADE-17, 2000, 1831 : 417 - 432
  • [25] A Modular Formalization of Reversibility for Concurrent Models and Languages
    Bernadet, Alexis
    Lanese, Ivan
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (223): : 98 - 112
  • [26] Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata
    Kumar Madria, Sanjay
    Maheshwari, S.N.
    Chandra, B.
    Data and Knowledge Engineering, 2001, 37 (02): : 139 - 176
  • [27] Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata
    Madria, SK
    Maheshwari, SN
    Chandra, B
    DATA & KNOWLEDGE ENGINEERING, 2001, 37 (02) : 139 - 176
  • [28] Concurrent solution of linear systems on clusters of workstations
    Sultan Qaboos Univ, Muscat, Oman
    International Journal of Parallel and Distributed Systems and Networks, 1998, 1 (03): : 143 - 148
  • [29] Diagrammatic Algebra: From Linear to Concurrent Systems
    Bonchi, Filippo
    Holland, Joshua
    Piedeleu, Robin
    Sobocinski, Pawel
    Zanasi, Fabio
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [30] CONCURRENT SYSTOLIZATION OF QUINDIAGONAL LINEAR-SYSTEMS
    BEKAKOS, MP
    EVANS, DJ
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1992, 46 (3-4) : 163 - 181
12345