A Formal Implementation of Value Commitment
Abstract elided by the publisher.
Related papers
- On ordering transaction commit PPoPP 2016
- Reasoning about Weak Isolation Levels in Separation Logic ICFP 2025
- Types, bytes, and separation logic POPL 2007
- Freedom before commitment: a lightweight type system for object initialisation OOPSLA 2011
- Peer-to-peer affine commitment using bitcoin PLDI 2015
- Processing transactions in a predefined order PPoPP 2019
- Editorial Message ICFP 2026
- Editorial Message PLDI 2026