References

  1. Solidity Documentation: State Machine Common Pattern. https://docs.soliditylang.org/en/v0.8.0/common-patterns.html#state-machine.
  2. (2018): Akoma Ntoso XML for parliamentary, legislative and judiciary documents. At http://www.akomantoso.org/.
  3. (2018): Malta MDIA Act. At https://mdia.gov.mt/wp-content/uploads/2018/10/MDIA.pdf.
  4. (2018): Obsidian: A safer blockchain programming language. Language Site at http://obsidian-lang.com/.
  5. (2019): The CoHuBiCoL research project. At https://www.cohubicol.com/about.
  6. (2019): Smart contract legislation and enforceability in Italy. Gazzetta Ufficiale, Law of 11 febbraio 2019, n. 12, Art. 8 ter, at https://www.gazzettaufficiale.it/eli/id/2019/02/12/19G00017/sg.
  7. (2020): Cracking the Code: Rulemaking for humans and machines. At https://oecd-opsi.org/publications/cracking-the-code/.
  8. (2021): Wyoming Regulation Act. At https://www.wyoleg.gov/Legislation/2021/SF0038.
  9. (2022): Catala in action. Language site at https://catala-lang.org/.
  10. Massimo Bartoletti & Roberto Zunino (2019): Verifying Liquidity of Bitcoin Contracts. In: Flemming Nielson & David Sands: Principles of Security and Trust. Springer International Publishing, pp. 222–247, doi:10.1007/978-3-030-17138-4_10.
  11. Shrutarshi Basu, Nate Foster & James Grimmelmann (2019): Property Conveyances as a Programming Language. In: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2019. Association for Computing Machinery, New York, NY, USA, pp. 128–142, doi:10.1145/3359591.3359734.
  12. Shrutarshi Basu, Anshuman Mohan, James Grimmelmann & Nate Foster (2022): Legal Calculi. Technical Report. ProLaLa 2022 ProLaLa Programming Languages and the Law. At https://popl22.sigplan.org/details/prolala-2022-papers/6/Legal-Calculi.
  13. Sam Blackshear & et al. (2021): Move: A Language With Programmable Resources. https://developers.diem.com/papers/diem-move-a-language-with-programmable-resources/2020-04-09.pdf.
  14. Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon & Yoni Zohar (2020): Resources: A Safe Language Abstraction for Money. CoRR. ArXiv:2004.05106.
  15. Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers & Joshua Sunshine (2020): Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. Proc. ACM Program. Lang. 4(OOPSLA), pp. 132:1–132:28, doi:10.1145/3428200.
  16. Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine & Jonathan Aldrich (2020): Obsidian: Typestate and Assets for Safer Blockchain Programming. ACM Trans. Program. Lang. Syst. 42(3), pp. 14:1–14:82, doi:10.1145/3417516.
  17. Open Source Contributors (2018): The Accord Project. https://accordproject.org.
  18. Silvia Crafa & Cosimo Laneve (2022): Programming legal contracts - a beginner guide. In: The Logic of Software. A Tasting Menu of Formal Methods. Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 13360. Springer, doi:10.1007/978-3-031-08166-8.
  19. Silvia Crafa, Cosimo Laneve & Giovanni Sartor (2021): Pacta sunt servanda: legal contracts in Stipula. CoRR. ArXiv:2110.11069.
  20. Silvia Crafa, Cosimo Laneve & Giovanni Sartor (2022): Le forme del falso negli smart contract. In: Le forme del falso. Bologna University Press, pp. 85–98, doi:10.30682/9791254770146.
  21. Silvia Crafa, Cosimo Laneve & Giovanni Sartor (2022): Stipula: a domain specific language for legal contracts. Technical Report. ProLaLa 2022 ProLaLa Programming Languages and the Law. At https://popl22.sigplan.org/details/prolala-2022-papers/6/Legal-Calculi.
  22. Silvia Crafa, Cosimo Laneve & Adele Veschetti (2022): Stipula Prototype. Available on github: https://github.com/stipula-language.
  23. A. Das, S. Balzer, J. Hoffmann, F. Pfenning & I. Santurkar (2021): Resource-Aware Session Types for Digital Contracts. In: 2021 2021 IEEE 34th Computer Security Foundations Symposium (CSF). IEEE Computer Society, Los Alamitos, CA, USA, pp. 111–126, doi:10.1109/CSF51468.2021.00004.
  24. Vimal Dwivedi, Alex Norta, Alexander Wulf, Benjamin Leiding, Sandeep Saxena & Chibuzor Udokwu (2021): A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations. IEEE Access 9, pp. 76069–76082, doi:10.1109/ACCESS.2021.3081926.
  25. Vimal Dwivedi, Vishwajeet Pattanaik, Vipin Deval, Abhishek Dixit, Alex Norta & Dirk Draheim (2021): Legally Enforceable Smart-Contract Languages: A Systematic Literature Review. ACM Comput. Surv. 54(5), doi:10.1145/3453475.
  26. Primavera De Filippi & Samer Hassan (2016): Blockchain technology as a regulatory technology: From code is law to law is code. First Monday 21(12), doi:10.5210/fm.v21i12.7113.
  27. Guido Governatori, Florian Idelberger, Zoran Milosevic, Regis Riveret, Giovanni Sartor & Xiwei Xu (2018): On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artificial Intelligence and Law 26, pp. 377–409, doi:10.1007/s10506-018-9223-3.
  28. Xiao He, Bohan Qin, Yan Zhu, Xing Chen & Yi Liu (2018): SPESC: A Specification Language for Smart Contracts. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) 01, pp. 132–137, doi:10.1109/COMPSAC.2018.00025.
  29. Lawrence Lessig (1999): Code and Other Laws of Cyberspace. Basic Books, Inc., USA.
  30. Lexon Foundation (2019): Lexon Home Page. http://www.lexon.tech.
  31. Denis Merigoux, Nicolas Chataing & Jonathan Protzenko (2021): Catala: A Programming Language for the Law. Proc. ACM Program. Lang. 5(ICFP), doi:10.1145/3473582.
  32. Christian Reitwiebner (2018): Babbage—A Mechanical Smart Contract Language. At https://medium.com/@chriseth/babbage-a-mechanical-smart-contract-language-5c8329ec5a0e.
  33. Franklin Schrans, Susan Eisenbach & Sophia Drossopoulou (2018): Writing Safe Smart Contracts in Flint. In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Programming'18 Companion. ACM, New York, NY, USA, pp. 218–219, doi:10.1145/3191697.3213790.
  34. David Siegel (2016): Understanding the dao attack. Available at https://top-forex-brokers.com/2021/10/07/understanding-the-dao-attack/.
  35. Study Group on a European Civil Code & Research Group on EC Private Law (Acquis Group) (2009): Principles, Definitions and Model Rules of European Private Law: Draft Common Frame of Reference (DCFR), Outline Edition. Sellier. Available at https://www.ccbe.eu/fileadmin/speciality_distribution/public/documents/EUROPEAN_PRIVATE_LAW/EN_EPL_20100107_Principles__definitions_and_model_rules_of_European_private_law_-_Draft_Common_Frame_of_Reference__DCFR_.pdf.
  36. Tim Weingaertner, Rahul Rao, Jasmin Ettlin, Patrick Suter & Philipp Dublanc (2018): Smart Contracts Using Blockly: Representing a Purchase Agreement Using a Graphical Programming Language. In: 2018 Crypto Valley Conference on Blockchain Technology (CVCBT), pp. 55–64, doi:10.1109/CVCBT.2018.00012.
  37. Aaron Wright, David Roon & ConsenSys AG (2019): OpenLaw Web Site. https://www.openlaw.io.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org