Advanced smart contract language
Advanced smart contract language (also known as smart legal contract language) is a high-level programming language that is used to develop smart contract for meeting the legal requirements.
The object of advanced smart contract language is to enable a programmer or non-IT professional for writing programs easier because he only needs to focus on the legal details of the contract rather than strong abstraction from the details of the computer.
History
Advanced smart contract language is usually designed by domain-specific language (DSL) complying with law. The earliest language, specification language for smart contracts (SPESC) [1], is published in 2018. Consisting of contract essential legal elements, this language is intended to perform the agreements by contracting parties according to offer and promise. Similar work also includes[2][3].
Standard
The technical standard of smart legal contract language was formulated by Chinese Institute of Electronics on Dec 21, 2020 [4].
References
- ↑ He X, Qin B, Zhu Y, et al. SPESC: A specification language for smart contracts[C]. 2018 IEEE 42nd Annual computer software and applications conference (COMPSAC). IEEE, 2018, 1: 132-137.
- ↑ F. Schrans, S. Eisenbach, and S. Drossopoulou, “Writing safe smartcontracts in flint,” inConference Companion of the 2nd InternationalConference on Art, Science, and Engineering of Programming, 2018, pp.218–219.
- ↑ Knecht M. Mandala: a smart contract programming language[J]. arXiv preprint arXiv:1911.11376, 2019.
- ↑ Chinese Institute of Electronics, Formal Expression of Blockchain Smart Contract, group standard, T/CIE 095-2020
External links
- Smart Legal Contract standard (2020) [1] by Chinese Institute of Electronics