The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?
No abstract available.
Related papers
- Certified symbolic management of financial multi-party contracts ICFP 2015
- Foundations and Tools for the Static Analysis of Ethereum Smart Contracts CAV 2018
- Composing contracts: an adventure in financial engineering, functional pearl ICFP 2000
- SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models OOPSLA 2026
- Consolidating Smart Contracts with Behavioral Contracts PLDI 2024
- Rich specifications for Ethereum smart contract verification OOPSLA 2021
- Formalising Decentralised Exchanges in Coq CPP 2023
- Detecting nondeterministic payment bugs in Ethereum smart contracts OOPSLA 2019