Stateful Contracts for Affine Types
No abstract available.
Related papers
- Peer-to-peer affine commitment using bitcoin PLDI 2015
- Blocking and array contraction across arbitrarily nested loops using affine partitioning PPoPP 2001
- Cyclic proofs, system t, and the power of contraction POPL 2021
- IOOpt: automatic derivation of I/O complexity bounds for affine programs PLDI 2021
- Stateful manifest contracts POPL 2017
- VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts OOPSLA 2024
- A Typed Programmatic Interface to Contracts on the Blockchain APLAS 2021
- Soft contract verification for higher-order stateful programs POPL 2018