Psamathe: a DSL for safe blockchain assets
| Title | Psamathe: a DSL for safe blockchain assets |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Oei, Reed |
| Conference Name | SPLASH Companion 2020: Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity |
| Date Published | 11/2020 |
| Conference Location | Virtual |
| Keywords | 2020: October, CMU, Obsidian Language for Blockchain |
| Abstract | Blockchains host smart contracts for voting, tokens, and other purposes. Vulnerabilities in contracts are common, often leading to the loss of money. Psamathe is a new language we are designing around a new flow abstraction, reducing asset bugs and making contracts more concise than in existing languages. We present an overview of Psamathe, and discuss two example contracts in Psamathe and Solidity. |
| DOI | https://doi.org/10.1145/3426430.3428131 |
| Citation Key | node-74171 |
| Attachment | Size |
|---|---|
| bytes |
Groups: