Certified Compilation of Financial Contracts

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelProceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
UdgivelsesstedNew York, NY, USA
ForlagAssociation for Computing Machinery
Publikationsdato2018
Sider5:1-5:13
ISBN (Trykt)978-1-4503-6441-6
DOI
StatusUdgivet - 2018
Begivenhed20th International Symposium on Principles and Practice of Declarative Programming : PPDP 2018 - Frankfurt am Main, Tyskland
Varighed: 3 sep. 2018 → 5 sep. 2018

Konference

Konference20th International Symposium on Principles and Practice of Declarative Programming
LandTyskland
ByFrankfurt am Main
Periode03/09/2018 → 05/09/2018

    Forskningsområder

  • Coq, certified programming, contract languages, domain-specific languages, financial contracts, software correctness

Links

ID: 204479334