Certified symbolic management of financial multi-party contracts-Reference-Cited by-同舟云学术

Certified symbolic management of financial multi-party contracts

Published:2015-08-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
language:
Short-container-title:

Author:

Bahr Patrick¹,Berthold Jost²,Elsman Martin¹

Affiliation:

1. University of Copenhagen, Denmark

2. Commonwealth Bank of Australia, Australia

Funder

Strategisk Forskningsrad

Teknologi og Produktion, Det Frie Forskningsråd

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2784731.2784747

Reference29 articles.

1. DSLFin: Financial domain-specific language listing. http://www. dslfin.org/resources.html 2013. DSLFin: Financial domain-specific language listing. http://www. dslfin.org/resources.html 2013.

2. Compositional specification of commercial contracts

3. Productive coprogramming with guarded recursion

4. Unembedding domain-specific languages

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime Verification in Real-Time with the Copilot Language: A Tutorial;Lecture Notes in Computer Science;2024-09-13

2. Programming Languages and Law: A Research Agenda;Proceedings of the 2022 Symposium on Computer Science and Law;2022-11

3. Extracting functional programs from Coq, in Coq;Journal of Functional Programming;2022

4. Extracting smart contracts tested and verified in Coq;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17

5. A Formally Verified Static Analysis Framework for Compositional Contracts;Financial Cryptography and Data Security;2020