共 19 条
- [1] Abelson HaroldGerald Jay Sussman Julie Sussman., 1984, STRUCTURE INTERPRETA
- [2] A Survey of Attacks on Ethereum Smart Contracts (SoK) [J]. PRINCIPLES OF SECURITY AND TRUST (POST 2017), 2017, 10204 : 164 - 186
- [3] ON UNDERSTANDING TYPES, DATA ABSTRACTION, AND POLYMORPHISM. [J]. Computing surveys, 1985, 17 (04): : 471 - 522
- [4] Coblenz M., 2020, PROC ACM PROGRAM LAN, V4
- [5] De Win B., 2003, IMPORTANCE SEPARATIO
- [6] Graham R.L., 1994, Concrete Mathematics: a Foundation for Computer Science, V2
- [7] Grech N., 2018, P ACM PROGRAM LANG, V2, P1, DOI DOI 10.1145/3276486
- [8] Harz D., 2018, Towards safer smart contracts: A survey of languages and verification methods
- [9] Software-Defined Infrastructure for Decentralized Data Lifecycle Governance: Principled Design and Open Challenges [J]. 2019 39TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2019), 2019, : 1674 - 1683
- [10] Making Smart Contracts Smarter [J]. CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2016, : 254 - 269