“Advanced smart contract language”的版本间的差异

2021年2月17日 (三) 06:48的最新版本

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

[1] 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.

[2] 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.

[3] Knecht M. Mandala: a smart contract programming language[J]. arXiv preprint arXiv:1911.11376, 2019.

[4] Chinese Institute of Electronics, Formal Expression of Blockchain Smart Contract, group standard, T/CIE 095-2020

[1]

[2]

[3]

[4]

2021年2月17日 (三) 05:57的版本（查看源代码） 20201027（讨论 \| 贡献）标签：可视化编辑：已切换 ←上一编辑		2021年2月17日 (三) 06:48的最新版本（查看源代码） 20201027（讨论 \| 贡献）
（未显示同一用户的1个中间版本）
第1行：		第1行：
−	'''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.	+	'''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.		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.