{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T02:34:17Z","timestamp":1778898857695,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["Discovery Grant"],"award-info":[{"award-number":["Discovery Grant"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CNS-2104882, CNS-210714"],"award-info":[{"award-number":["CNS-2104882, CNS-210714"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["Security for resource limited networked Cyber-physical systems"],"award-info":[{"award-number":["Security for resource limited networked Cyber-physical systems"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3549121","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"281-293","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Declarative smart contracts"],"prefix":"10.1145","author":[{"given":"Haoxian","family":"Chen","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"Whitters","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Javad","family":"Amiri","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuepeng","family":"Wang","sequence":"additional","affiliation":[{"name":"Simon Fraser University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boon Thau","family":"Loo","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2016. The DAO. https:\/\/etherscan.io\/address\/0xbb9bc244d798123fde783fcc1c72d3bb8c189413 \t\t\t\t  2016. The DAO. https:\/\/etherscan.io\/address\/0xbb9bc244d798123fde783fcc1c72d3bb8c189413"},{"key":"e_1_3_2_1_2_1","unstructured":"2016. King of the Ether Throne \u2014 Post-Mortem Investigation.. https:\/\/www.kingoftheether.com\/postmortem.html \t\t\t\t  2016. King of the Ether Throne \u2014 Post-Mortem Investigation.. https:\/\/www.kingoftheether.com\/postmortem.html"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7080252"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. Declarative smart contract benchmarks. https:\/\/github.com\/HaoxianChen\/declarative-smart-contracts\/tree\/master\/benchmarks \t\t\t\t  2022. Declarative smart contract benchmarks. https:\/\/github.com\/HaoxianChen\/declarative-smart-contracts\/tree\/master\/benchmarks"},{"key":"e_1_3_2_1_5_1","unstructured":"2022. Declarative smart contracts. https:\/\/github.com\/HaoxianChen\/declarative-smart-contracts \t\t\t\t  2022. Declarative smart contracts. https:\/\/github.com\/HaoxianChen\/declarative-smart-contracts"},{"key":"e_1_3_2_1_6_1","unstructured":"2022. Openzeppelin contracts. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/tree\/master\/contracts\/token \t\t\t\t  2022. Openzeppelin contracts. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/tree\/master\/contracts\/token"},{"key":"e_1_3_2_1_7_1","unstructured":"2022. Recursions in Solidity. https:\/\/docs.soliditylang.org\/en\/v0.8.13\/control-structures.html?highlight=recursion \t\t\t\t  2022. Recursions in Solidity. https:\/\/docs.soliditylang.org\/en\/v0.8.13\/control-structures.html?highlight=recursion"},{"key":"e_1_3_2_1_8_1","unstructured":"2022. Safe remote purchase. https:\/\/docs.soliditylang.org\/en\/v0.5.3\/solidity-by-example.html#safe-remote-purchase \t\t\t\t  2022. Safe remote purchase. https:\/\/docs.soliditylang.org\/en\/v0.5.3\/solidity-by-example.html#safe-remote-purchase"},{"key":"e_1_3_2_1_9_1","unstructured":"2022. Simple auction. https:\/\/docs.soliditylang.org\/en\/v0.5.3\/solidity-by-example.html#simple-open-auction \t\t\t\t  2022. Simple auction. https:\/\/docs.soliditylang.org\/en\/v0.5.3\/solidity-by-example.html#simple-open-auction"},{"key":"e_1_3_2_1_10_1","unstructured":"2022. SMTChecker and Formal Verification. https:\/\/docs.soliditylang.org\/en\/v0.8.12\/smtchecker.html#assert \t\t\t\t  2022. SMTChecker and Formal Verification. https:\/\/docs.soliditylang.org\/en\/v0.8.12\/smtchecker.html#assert"},{"key":"e_1_3_2_1_11_1","unstructured":"2022. Solidity. https:\/\/docs.soliditylang.org \t\t\t\t  2022. Solidity. https:\/\/docs.soliditylang.org"},{"key":"e_1_3_2_1_12_1","unstructured":"2022. Solidity events. https:\/\/docs.soliditylang.org\/en\/v0.8.13\/abi-spec.html?highlight=events#events \t\t\t\t  2022. Solidity events. https:\/\/docs.soliditylang.org\/en\/v0.8.13\/abi-spec.html?highlight=events#events"},{"key":"e_1_3_2_1_13_1","unstructured":"2022. Truffle. https:\/\/trufflesuite.com \t\t\t\t  2022. Truffle. https:\/\/trufflesuite.com"},{"key":"e_1_3_2_1_14_1","unstructured":"2022. Voting. https:\/\/docs.soliditylang.org\/en\/v0.5.3\/solidity-by-example.html#voting \t\t\t\t  2022. Voting. https:\/\/docs.soliditylang.org\/en\/v0.5.3\/solidity-by-example.html#voting"},{"key":"e_1_3_2_1_15_1","volume-title":"Foundations of Databases: The Logical Level","author":"Abiteboul Serge","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1994. Foundations of Databases: The Logical Level ( 1 st ed.). Pearson . Serge Abiteboul, Richard Hull, and Victor Vianu. 1994. Foundations of Databases: The Logical Level (1st ed.). Pearson.","edition":"1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3338999"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_30"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_28"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/OBD.2016.11"},{"key":"e_1_3_2_1_20_1","volume-title":"Legal Knowledge and Information Systems","author":"Azzopardi Shaun","unstructured":"Shaun Azzopardi , Gordon J Pace , and Fernando Schapachnik . 2018. On observing contracts: deontic contracts meet smart contracts . In Legal Knowledge and Information Systems . IOS Press , 21\u201330. Shaun Azzopardi, Gordon J Pace, and Fernando Schapachnik. 2018. On observing contracts: deontic contracts meet smart contracts. In Legal Knowledge and Information Systems. IOS Press, 21\u201330."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Massimo Bartoletti and Roberto Zunino. 2018. BitML: a calculus for Bitcoin smart contracts. In CCS. 83\u2013100. \t\t\t\t  Massimo Bartoletti and Roberto Zunino. 2018. BitML: a calculus for Bitcoin smart contracts. In CCS. 83\u2013100.","DOI":"10.1145\/3243734.3243795"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428209"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_28"},{"key":"e_1_3_2_1_24_1","volume-title":"\u2019Accidental","author":"Browne Ryan","year":"2017","unstructured":"Ryan Browne . 2017. \u2019Accidental \u2019 bug may have frozen $ 280 million worth of digital coin ether in a cryptocurrency wallet. https:\/\/www.cnbc.com\/ 2017 \/11\/08\/accidental-bug-may-have-frozen-280-worth-of-ether-on-parity-wallet.html Ryan Browne. 2017. \u2019Accidental\u2019 bug may have frozen $ 280 million worth of digital coin ether in a cryptocurrency wallet. https:\/\/www.cnbc.com\/2017\/11\/08\/accidental-bug-may-have-frozen-280-worth-of-ether-on-parity-wallet.html"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44503-X_20"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32409-4_18"},{"key":"e_1_3_2_1_27_1","volume-title":"SODA: A Generic Online Detection Framework for Smart Contracts.. In NDSS.","author":"Chen Ting","year":"2020","unstructured":"Ting Chen , Rong Cao , Ting Li , Xiapu Luo , Guofei Gu , Yufei Zhang , Zhou Liao , Hang Zhu , Gang Chen , and Zheyuan He . 2020 . SODA: A Generic Online Detection Framework for Smart Contracts.. In NDSS. Ting Chen, Rong Cao, Ting Li, Xiapu Luo, Guofei Gu, Yufei Zhang, Zhou Liao, Hang Zhu, Gang Chen, and Zheyuan He. 2020. SODA: A Generic Online Detection Framework for Smart Contracts.. In NDSS."},{"key":"e_1_3_2_1_28_1","unstructured":"William Entriken Dieter Shirley Jacob Evans and Nastassia Sachs. 2022. EIP-721: Non-Fungible Token Standard. https:\/\/eips.ethereum.org\/EIPS\/eip-721 \t\t\t\t  William Entriken Dieter Shirley Jacob Evans and Nastassia Sachs. 2022. EIP-721: Non-Fungible Token Standard. https:\/\/eips.ethereum.org\/EIPS\/eip-721"},{"key":"e_1_3_2_1_29_1","unstructured":"Vitalik Buterin Fabian Vogelsteller. 2022. EIP-20: Token Standard. https:\/\/eips.ethereum.org\/EIPS\/eip-20 \t\t\t\t  Vitalik Buterin Fabian Vogelsteller. 2022. EIP-20: Token Standard. https:\/\/eips.ethereum.org\/EIPS\/eip-20"},{"key":"e_1_3_2_1_30_1","unstructured":"Dov Gabbay Jeff Horty Xavier Parent Ron van der Meyden and Leon van der Torre. 2013. Handbook of deontic logic and normative systems. \t\t\t\t  Dov Gabbay Jeff Horty Xavier Parent Ron van der Meyden and Leon van der Torre. 2013. Handbook of deontic logic and normative systems."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/170036.170066"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Adam Hahn Rajveer Singh Chen-Ching Liu and Sijie Chen. 2017. Smart contract-based campus demonstration of decentralized transactive energy auctions. In Power & energy society innovative smart grid technologies Conf. (ISGT). 1\u20135. \t\t\t\t  Adam Hahn Rajveer Singh Chen-Ching Liu and Sijie Chen. 2017. Smart contract-based campus demonstration of decentralized transactive energy auctions. In Power & energy society innovative smart grid technologies Conf. (ISGT). 1\u20135.","DOI":"10.1109\/ISGT.2017.8086092"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"SL Peyton Jones and Jean-Marc Eber. 2003. How to write a financial contract. \t\t\t\t  SL Peyton Jones and Jean-Marc Eber. 2003. How to write a financial contract.","DOI":"10.1007\/978-1-349-91518-7_6"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330560"},{"key":"e_1_3_2_1_43_1","volume-title":"Security Symposium. 1317\u20131333","author":"Krupp Johannes","year":"2018","unstructured":"Johannes Krupp and Christian Rossow . 2018 . $teEther$: Gnawing at Ethereum to Automatically Exploit Smart Contracts . In Security Symposium. 1317\u20131333 . Johannes Krupp and Christian Rossow. 2018. $teEther$: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In Security Symposium. 1317\u20131333."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385982"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183495"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70972-7_20"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Ivica Nikoli\u0107 Aashish Kolluri Ilya Sergey Prateek Saxena and Aquinas Hobor. 2018. Finding the greedy prodigal and suicidal contracts at scale. In computer security applications Conf.. 653\u2013663. \t\t\t\t  Ivica Nikoli\u0107 Aashish Kolluri Ilya Sergey Prateek Saxena and Aquinas Hobor. 2018. Finding the greedy prodigal and suicidal contracts at scale. In computer security applications Conf.. 653\u2013663.","DOI":"10.1145\/3274694.3274743"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59144-5_34"},{"key":"e_1_3_2_1_51_1","unstructured":"Zhiniang Peng. 2018. Not A Fair Game \u2013 Fairness Analysis of Dice2win. https:\/\/blogs.360.net\/post\/Fairness_Analysis_of_Dice2win_EN.html \t\t\t\t  Zhiniang Peng. 2018. Not A Fair Game \u2013 Fairness Analysis of Dice2win. https:\/\/blogs.360.net\/post\/Fairness_Analysis_of_Dice2win_EN.html"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"e_1_3_2_1_53_1","volume-title":"Law and logic: A review from an argumentation perspective. Artificial intelligence, 227","author":"Prakken Henry","year":"2015","unstructured":"Henry Prakken and Giovanni Sartor . 2015. Law and logic: A review from an argumentation perspective. Artificial intelligence, 227 ( 2015 ), 214\u2013245. Henry Prakken and Giovanni Sartor. 2015. Law and logic: A review from an argumentation perspective. Artificial intelligence, 227 (2015), 214\u2013245."},{"key":"e_1_3_2_1_54_1","volume-title":"Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. In Network and Distributed Systems Security (NDSS).","author":"Rodler Michael","year":"2019","unstructured":"Michael Rodler , Wenting Li , Ghassan O Karame , and Lucas Davi . 2019 . Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. In Network and Distributed Systems Security (NDSS). Michael Rodler, Wenting Li, Ghassan O Karame, and Lucas Davi. 2019. Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. In Network and Distributed Systems Security (NDSS)."},{"key":"e_1_3_2_1_55_1","first-page":"4","article-title":"Differential Datalog","volume":"2","author":"Ryzhyk Leonid","year":"2019","unstructured":"Leonid Ryzhyk and Mihai Budiu . 2019 . Differential Datalog .. Datalog , 2 (2019), 4 \u2013 5 . Leonid Ryzhyk and Mihai Budiu. 2019. Differential Datalog.. Datalog, 2 (2019), 4\u20135.","journal-title":"Datalog"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417250"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360611"},{"key":"e_1_3_2_1_58_1","unstructured":"David Siegel. 2016. Understanding The DAO Attack. https:\/\/www.coindesk.com\/learn\/2016\/06\/25\/understanding-the-dao-attack\/ \t\t\t\t  David Siegel. 2016. Understanding The DAO Attack. https:\/\/www.coindesk.com\/learn\/2016\/06\/25\/understanding-the-dao-attack\/"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Yannis Smaragdakis and Martin Bravenboer. 2010. Using Datalog for fast and easy program analysis. In International Datalog 2.0 Workshop. 245\u2013251. \t\t\t\t  Yannis Smaragdakis and Martin Bravenboer. 2010. Using Datalog for fast and easy program analysis. In International Datalog 2.0 Workshop. 245\u2013251.","DOI":"10.1007\/978-3-642-24206-9_14"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"e_1_3_2_1_61_1","unstructured":"Parity Technologies. 2017. Parity Security Alert. https:\/\/www.parity.io\/blog\/security-alert-2\/ \t\t\t\t  Parity Technologies. 2017. Parity Security Alert. https:\/\/www.parity.io\/blog\/security-alert-2\/"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417064"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Singapore Singapore","acronym":"ESEC\/FSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549121","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549121","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549121","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:02Z","timestamp":1750182662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":65,"alternative-id":["10.1145\/3540250.3549121","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3549121","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}