Domain-specific languages (DSLs) for complex financial contracts are in practical use in many banks and financial institutions today.

In this pa- per, we present a multi-party contract language that rigorously rel- egates any artefacts of simulation and computation from its core, which leads ...

In this paper, we present a multi-party contract language that rigorously relegates any artefacts of simulation and computation from its core, which leads to ...

This paper presents a multi-party contract language that rigorously relegates any artefacts of simulation and computation from its core, which leads to ...

▷ Example contracts. 12 / 13. Page 44. Certified Symbolic Management of Financial. Multi-Party Contracts. Patrick Bahr1. Jost Berthold2. Martin Elsman3. 1IT ...

Fingerprint. Dive into the research topics of 'Certified Symbolic Management of Financial Multi-party Contracts'. Together they form a unique fingerprint.

Certified symbolic management of financial multi-party contracts ; 13 · Association for Computing Machinery · 2015 · 315-327 · 978-1-4503-3669-7.

Certified Symbolic Management of Financial Multi-Party Contracts Build Status. This is a certified implementation of a financial multi-party contract language.

Original language, English. Title of host publication, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming : ICFP 2015.

Sep 5, 2015 · This content isn't available. 3 03 Certified Symbolic Management of Financial Multi Party Contracts. 346 views · 9 years ago ...more. ICFP ...