Standard
Certified Compilation of Financial Contracts. / Annenkov, Danil; Elsman, Martin.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA : Association for Computing Machinery, 2018. p. 5:1-5:13.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Annenkov, D
& Elsman, M 2018,
Certified Compilation of Financial Contracts. in
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, New York, NY, USA, pp. 5:1-5:13, 20th International Symposium on Principles and Practice of Declarative Programming , Frankfurt am Main, Germany,
03/09/2018.
https://doi.org/10.1145/3236950.3236955
APA
Annenkov, D.
, & Elsman, M. (2018).
Certified Compilation of Financial Contracts. In
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (pp. 5:1-5:13). Association for Computing Machinery.
https://doi.org/10.1145/3236950.3236955
Vancouver
Annenkov D
, Elsman M.
Certified Compilation of Financial Contracts. In Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: Association for Computing Machinery. 2018. p. 5:1-5:13
https://doi.org/10.1145/3236950.3236955
Author
Annenkov, Danil ; Elsman, Martin. / Certified Compilation of Financial Contracts. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA : Association for Computing Machinery, 2018. pp. 5:1-5:13
Bibtex
@inproceedings{789c12e6306a4d9f82e6c928d3a0c480,
title = "Certified Compilation of Financial Contracts",
keywords = "Coq, certified programming, contract languages, domain-specific languages, financial contracts, software correctness",
author = "Danil Annenkov and Martin Elsman",
year = "2018",
doi = "10.1145/3236950.3236955",
language = "English",
isbn = "978-1-4503-6441-6",
pages = "5:1--5:13",
booktitle = "Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming",
publisher = "Association for Computing Machinery",
note = "20th International Symposium on Principles and Practice of Declarative Programming : PPDP 2018 ; Conference date: 03-09-2018 Through 05-09-2018",
}
RIS
TY - GEN
T1 - Certified Compilation of Financial Contracts
AU - Annenkov, Danil
AU - Elsman, Martin
PY - 2018
Y1 - 2018
KW - Coq, certified programming, contract languages, domain-specific languages, financial contracts, software correctness
U2 - 10.1145/3236950.3236955
DO - 10.1145/3236950.3236955
M3 - Article in proceedings
SN - 978-1-4503-6441-6
SP - 5:1-5:13
BT - Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
PB - Association for Computing Machinery
CY - New York, NY, USA
T2 - 20th International Symposium on Principles and Practice of Declarative Programming
Y2 - 3 September 2018 through 5 September 2018
ER -