查看“Advanced smart contract language”的源代码

'''Advanced smart contract language'''''<nowiki/>'<nowiki/>'' (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) <ref> 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.</ref>, 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<ref> 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.
</ref><ref> Knecht M. Mandala: a smart contract programming language[J]. arXiv preprint arXiv:1911.11376, 2019.</ref>. 

==Standard==
The technical standard of smart legal contract language was formulated by Chinese Institute of Electronics on Dec 21, 2020 <ref> [https://www.cie.org.cn/system/upload/file/20210205/1612516279949822.pdf Chinese Institute of Electronics, Formal Expression of Blockchain Smart Contract, group standard, T/CIE 095-2020]</ref>.

==References==
<references />

==External links==
*Smart Legal Contract standard (2020) [https://www.smartlegalcontract.cn] by Chinese Institute of Electronics