Export Citations
1 Results for: Author: Baker, Miles
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,836,951 records)|Limit your search to The ACM Full-Text Collection (774,374 records)
Select All
- research-articleNovember 2020
Obsidian: Typestate and Assets for Safer Blockchain Programming
- Michael Coblenz,
- Reed Oei,
- Tyler Etzel,
- Paulette Koronkevich,
- Miles Baker,
- Yannick Bloem,
- Brad A. Myers,
- Joshua Sunshine,
- Jonathan Aldrich
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 42, Issue 3Article No.: 14, Pages 1–82https://doi.org/10.1145/3417516Blockchain platforms are coming into use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support ...
