﻿<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="zh-Hans-CN">
	<id>https://www.smartlegalcontract.cn/mediawiki/index.php?action=history&amp;feed=atom&amp;title=Advanced_smart_contract_language</id>
	<title>Advanced smart contract language - 版本历史</title>
	<link rel="self" type="application/atom+xml" href="https://www.smartlegalcontract.cn/mediawiki/index.php?action=history&amp;feed=atom&amp;title=Advanced_smart_contract_language"/>
	<link rel="alternate" type="text/html" href="https://www.smartlegalcontract.cn/mediawiki/index.php?title=Advanced_smart_contract_language&amp;action=history"/>
	<updated>2026-05-13T12:08:07Z</updated>
	<subtitle>本wiki的该页面的版本历史</subtitle>
	<generator>MediaWiki 1.35.0</generator>
	<entry>
		<id>https://www.smartlegalcontract.cn/mediawiki/index.php?title=Advanced_smart_contract_language&amp;diff=338&amp;oldid=prev</id>
		<title>2021年2月17日 (三) 05:48 20201027</title>
		<link rel="alternate" type="text/html" href="https://www.smartlegalcontract.cn/mediawiki/index.php?title=Advanced_smart_contract_language&amp;diff=338&amp;oldid=prev"/>
		<updated>2021-02-17T05:48:51Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left diff-editfont-monospace&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;zh-Hans-CN&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;←上一版本&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;2021年2月17日 (三) 05:48的版本&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot; &gt;第1行：&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;第1行：&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''Advanced smart contract language'&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;''''&amp;lt;nowiki/&amp;gt;'&amp;lt;nowiki/&amp;gt;&lt;/del&gt;'' (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.  &lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''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.  &lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;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.  &lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;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.  &lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>20201027</name></author>
	</entry>
	<entry>
		<id>https://www.smartlegalcontract.cn/mediawiki/index.php?title=Advanced_smart_contract_language&amp;diff=334&amp;oldid=prev</id>
		<title>20201027：20201027移动页面ASCL至Advanced smart contract language</title>
		<link rel="alternate" type="text/html" href="https://www.smartlegalcontract.cn/mediawiki/index.php?title=Advanced_smart_contract_language&amp;diff=334&amp;oldid=prev"/>
		<updated>2021-02-17T05:00:03Z</updated>

		<summary type="html">&lt;p&gt;20201027移动页面&lt;a href=&quot;/mediawiki/index.php/ASCL&quot; class=&quot;mw-redirect&quot; title=&quot;ASCL&quot;&gt;ASCL&lt;/a&gt;至&lt;a href=&quot;/mediawiki/index.php/Advanced_smart_contract_language&quot; title=&quot;Advanced smart contract language&quot;&gt;Advanced smart contract language&lt;/a&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left diff-editfont-monospace&quot; data-mw=&quot;interface&quot;&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;zh-Hans-CN&quot;&gt;
				&lt;td colspan=&quot;1&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;←上一版本&lt;/td&gt;
				&lt;td colspan=&quot;1&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;2021年2月17日 (三) 05:00的版本&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-notice&quot; lang=&quot;zh-Hans-CN&quot;&gt;&lt;div class=&quot;mw-diff-empty&quot;&gt;（没有差异）&lt;/div&gt;
&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;</summary>
		<author><name>20201027</name></author>
	</entry>
	<entry>
		<id>https://www.smartlegalcontract.cn/mediawiki/index.php?title=Advanced_smart_contract_language&amp;diff=333&amp;oldid=prev</id>
		<title>2021年2月17日 (三) 04:57 20201027</title>
		<link rel="alternate" type="text/html" href="https://www.smartlegalcontract.cn/mediawiki/index.php?title=Advanced_smart_contract_language&amp;diff=333&amp;oldid=prev"/>
		<updated>2021-02-17T04:57:06Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left diff-editfont-monospace&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;zh-Hans-CN&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;←上一版本&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;2021年2月17日 (三) 04:57的版本&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot; &gt;第1行：&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;第1行：&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Advanced smart contract language&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''Advanced smart contract language'''''&amp;lt;nowiki/&amp;gt;'&amp;lt;nowiki/&amp;gt;'' (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.  &lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''Advanced smart contract language'''''&amp;lt;nowiki/&amp;gt;'&amp;lt;nowiki/&amp;gt;'' (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.  &lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>20201027</name></author>
	</entry>
	<entry>
		<id>https://www.smartlegalcontract.cn/mediawiki/index.php?title=Advanced_smart_contract_language&amp;diff=332&amp;oldid=prev</id>
		<title>20201027：建立内容为“Advanced smart contract language  '''Advanced smart contract language'''''&lt;nowiki/&gt;'&lt;nowiki/&gt;'' (also known as ''' smart legal contract language ''') is a high-le…”的新页面</title>
		<link rel="alternate" type="text/html" href="https://www.smartlegalcontract.cn/mediawiki/index.php?title=Advanced_smart_contract_language&amp;diff=332&amp;oldid=prev"/>
		<updated>2021-02-17T04:55:46Z</updated>

		<summary type="html">&lt;p&gt;建立内容为“Advanced smart contract language  &amp;#039;&amp;#039;&amp;#039;Advanced smart contract language&amp;#039;&amp;#039;&amp;#039;&amp;#039;&amp;#039;&amp;lt;nowiki/&amp;gt;&amp;#039;&amp;lt;nowiki/&amp;gt;&amp;#039;&amp;#039; (also known as &amp;#039;&amp;#039;&amp;#039; smart legal contract language &amp;#039;&amp;#039;&amp;#039;) is a high-le…”的新页面&lt;/p&gt;
&lt;p&gt;&lt;b&gt;新页面&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Advanced smart contract language&lt;br /&gt;
&lt;br /&gt;
'''Advanced smart contract language'''''&amp;lt;nowiki/&amp;gt;'&amp;lt;nowiki/&amp;gt;'' (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. &lt;br /&gt;
&lt;br /&gt;
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. &lt;br /&gt;
&lt;br /&gt;
==History==&lt;br /&gt;
Advanced smart contract language is usually designed by [[domain-specific language]] (DSL) complying with law. The earliest language, specification language for smart contracts (SPESC) &amp;lt;ref&amp;gt; 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.&amp;lt;/ref&amp;gt;, 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&amp;lt;ref&amp;gt; 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.&lt;br /&gt;
&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt; Knecht M. Mandala: a smart contract programming language[J]. arXiv preprint arXiv:1911.11376, 2019.&amp;lt;/ref&amp;gt;. &lt;br /&gt;
&lt;br /&gt;
==Standard==&lt;br /&gt;
The technical standard of smart legal contract language was formulated by Chinese Institute of Electronics on Dec 21, 2020 &amp;lt;ref&amp;gt; [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]&amp;lt;/ref&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&amp;lt;references /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==External links==&lt;br /&gt;
*Smart Legal Contract standard (2020) [https://www.smartlegalcontract.cn] by Chinese Institute of Electronics&lt;/div&gt;</summary>
		<author><name>20201027</name></author>
	</entry>
</feed>