{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:52Z","timestamp":1750220632227,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,15]]},"DOI":"10.1145\/3426430.3428131","type":"proceedings-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T18:41:54Z","timestamp":1606243314000},"page":"16-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Psamathe: a DSL for safe blockchain assets"],"prefix":"10.1145","author":[{"given":"Reed","family":"Oei","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2015. EIP 20: ERC-20 Token Standard. Retrieved 2020-07-28 from htps:\/\/eips.ethereum.org\/EIPS\/eip-20  2015. EIP 20: ERC-20 Token Standard. Retrieved 2020-07-28 from htps:\/\/eips.ethereum.org\/EIPS\/eip-20"},{"key":"e_1_3_2_1_2_1","first-page":"07","volume":"202","author":"Ethereum","unstructured":"2020. Ethereum for Developers. Retrieved 202 0- 07 - 31 from htps: \/\/ethereum.org\/en\/developers\/ 2020. Ethereum for Developers. Retrieved 2020-07-31 from htps: \/\/ethereum.org\/en\/developers\/","journal-title":"Developers. Retrieved"},{"key":"e_1_3_2_1_3_1","first-page":"07","volume":"202","author":"Solidity","unstructured":"2020. Solidity by Example. Retrieved 202 0- 07 - 28 from htps:\/\/solidity. readthedocs. io\/en\/v0.7.0\/solidity-by-example.html 2020. Solidity by Example. Retrieved 2020-07-28 from htps:\/\/solidity. readthedocs. io\/en\/v0.7.0\/solidity-by-example.html","journal-title":"Example. Retrieved"},{"key":"e_1_3_2_1_4_1","first-page":"08","volume":"202","unstructured":"2020. Tokens. Retrieved 202 0- 08 - 03 from htps:\/\/github.com\/ ConsenSys\/Tokens 2020. Tokens. Retrieved 2020-08-03 from htps:\/\/github.com\/ ConsenSys\/Tokens","journal-title":"Tokens. Retrieved"},{"key":"e_1_3_2_1_5_1","volume-title":"Stephane Sezer, et al.","author":"Blackshear Sam","year":"2019","unstructured":"Sam Blackshear , Evan Cheng , David L Dill , Victor Gao , Ben Maurer , Todd Nowacki , Alistair Pott , Shaz Qadeer , Dario Russi Rain , Stephane Sezer, et al. 2019 . Move : A language with programmable resources. Sam Blackshear, Evan Cheng, David L Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Dario Russi Rain, Stephane Sezer, et al. 2019. Move: A language with programmable resources."},{"key":"e_1_3_2_1_6_1","volume-title":"Obsidian: Typestate and Assets for Safer Blockchain Programming. arXiv:cs.PL\/","author":"Coblenz Michael","year":"2019","unstructured":"Michael Coblenz , Reed Oei , Tyler Etzel , Paulette Koronkevich , Miles Baker , Yannick Bloem , Brad A. Myers , Joshua Sunshine , and Jonathan Aldrich . 2019 . Obsidian: Typestate and Assets for Safer Blockchain Programming. arXiv:cs.PL\/ 1909.03523 Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, and Jonathan Aldrich. 2019. Obsidian: Typestate and Assets for Safer Blockchain Programming. arXiv:cs.PL\/ 1909.03523"},{"key":"e_1_3_2_1_7_1","volume-title":"Resource-aware session types for digital contracts. arXiv preprint arXiv","author":"Das Ankush","year":"1902","unstructured":"Ankush Das , Stephanie Balzer , Jan Hofmann , Frank Pfenning , and Ishani Santurkar . 2019. Resource-aware session types for digital contracts. arXiv preprint arXiv : 1902 . 06056 ( 2019 ). Ankush Das, Stephanie Balzer, Jan Hofmann, Frank Pfenning, and Ishani Santurkar. 2019. Resource-aware session types for digital contracts. arXiv preprint arXiv: 1902. 06056 ( 2019 )."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174032"},{"key":"e_1_3_2_1_9_1","unstructured":"Harvard Business Review. 201"},{"key":"e_1_3_2_1_10_1","volume-title":"Retrieved","author":"IBM.","year":"2019","unstructured":"IBM. 2019 . Blockchain for supply chain . Retrieved March 31, 2019 from htps:\/\/www.ibm.com\/blockchain\/supply-chain\/ IBM. 2019. Blockchain for supply chain. Retrieved March 31, 2019 from htps:\/\/www.ibm.com\/blockchain\/supply-chain\/"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3191697.3213790"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360611"},{"key":"e_1_3_2_1_13_1","volume-title":"Retrieved","author":"Sirer Emin G\u00fcn","year":"2016","unstructured":"Emin G\u00fcn Sirer . 2016 . Thoughts on The DAO Hack . Retrieved July 29, 2020 from htp:\/\/hackingdistributed.com\/ 2016 \/06\/17\/thoughts-onthe-dao-hack\/ Emin G\u00fcn Sirer. 2016. Thoughts on The DAO Hack. Retrieved July 29, 2020 from htp:\/\/hackingdistributed.com\/ 2016 \/06\/17\/thoughts-onthe-dao-hack\/"},{"key":"#cr-split#-e_1_3_2_1_14_1.1","doi-asserted-by":"crossref","unstructured":"Nick Szabo. 1997. Formalizing and Securing Relationships on Public Networks. First Monday 2 9 ( 1997 ). htps:\/\/doi.org\/10.5210\/fm.v2i9. 548 10.5210\/fm.v2i9","DOI":"10.5210\/fm.v2i9.548"},{"key":"#cr-split#-e_1_3_2_1_14_1.2","doi-asserted-by":"crossref","unstructured":"Nick Szabo. 1997. Formalizing and Securing Relationships on Public Networks. First Monday 2 9 ( 1997 ). htps:\/\/doi.org\/10.5210\/fm.v2i9. 548","DOI":"10.5210\/fm.v2i9.548"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3428131","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426430.3428131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:45Z","timestamp":1750197705000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3428131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":15,"alternative-id":["10.1145\/3426430.3428131","10.1145\/3426430"],"URL":"https:\/\/doi.org\/10.1145\/3426430.3428131","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}