研究文章

公共访问

作为编程语言的属性传输

作者:

Shrutarshi公司巴苏,

内特培养、和

詹姆斯格里梅尔曼作者信息和声明

向前的！2019年：2019年ACM SIGPLAN关于编程和软件新思想、新范式和思考的国际研讨会会议记录

2019年10月

页128-142

https://doi.org/10.1145/3359591.3359734

出版:2019年10月23日出版历史记录

PDF格式电子阅读器

摘要

英美法律允许财产所有者通过将其所有权拆分为未来利益这可能会随着时间的推移而演变。这个交通工具业主用来转让和细分产权的做法遵循严格的句法惯例，并受一系列错综复杂的连锁学说的制约，这些学说决定了其法律效力。这些学说已经编纂成文，但只是以非正式和潜在的模糊方式编纂而成。

本文介绍了开发用于表示和分析财产转让的形式化模型的初步工作。我们开发了一种特定领域的语言，能够以近似自然语言的语法表达广泛的表达方式。该语言被分解为一个核心演算，我们为其开发了操作语义和指称语义，捕获了实践中物权法的各种重要属性。我们根据一本流行的物权法教科书中的示例评估了我们的语言和语义的初始实现。

补充材料

MP4文件（3359591.3359734.mp4）

演示文稿视频

下载
52.09 MB

工具书类

[1]

协议。2018年，雅阁项目埃尔戈简介。2019年4月29日检索自https://docs.accordproject.org/docs/ergo.html

[2]

Sidney Amani、Myriam Bégel、Maksym Bortin和Mark Staples。2018.在Isabelle/HOL中验证以太坊智能合约字节码。第七届ACM SIGPLAN认证程序和证明国际会议记录。ACM，美国纽约州纽约市，66-77。

数字图书馆

[3]

美国法律学会。1936.财产重述。

[4]

美国法律学会。1979年侵权行为重述（第二次）。

[5]

瓦伦丁·安蒂米洛夫（Valentin M.Antimirov）。1996.正则表达式的偏导数和有限自动机构造。西奥。计算。科学。155, 2 (1996), 291–319.

数字图书馆

[6]

霍尔格·阿诺德和马克斯·穆拉托夫。MParser，一个简单的单子解析器组合库。2019年4月29日检索自https://github.com/murmour/mparser公司/

[7]

肖恩·阿佐帕迪（Shaun Azzopardi）、戈登·佩斯（Gordon Pace）、费尔南多·沙帕奇尼克（Fernando Schapachnik）和杰拉尔多·施奈德（Gerardo Schneider）。2016.合同自动化：交互各方之间合同的操作视图。《人工智能与法律24》（2016年9月）。

数字图书馆

[8]

Shrutarshi Basu、James Grimmelmann和Nate Foster。2017.作为编程语言的《物权法》。演示。在领域特定语言的设计和实现中。ACM公司。

[9]

肖恩·J·拜仁。2010年，根据普通法分析财产转让的正式系统。2010年法律知识和信息系统会议记录：2010年7月：第二十三届年度会议。荷兰阿姆斯特丹IOS出版社，139-142。http://dl.acm.org/citation.cfm？id=1940559.1940579

数字图书馆

[10]

大卫·M·贝克尔。1989年，《根据普通法规则解决永久性问题的方法论：仔细识别所有测试生命的分步过程》。Wash.ULQ 67（1989），949。

[11]

Janusz A Brzozowski。1964.正则表达式的导数。ACM杂志。Citeser。

[12]

安东尼奥·卡洛斯·达罗查·科斯塔。2015年。情境化法律系统及其操作语义。《人工智能与法律》23，1（2015年3月1日），43–102。

数字图书馆

[13]

琳达·爱德华兹。2009年，《土地上的不动产和未来利益：逐步指南》。Wolters-Kluwer定律；Business Aspen Publishers，纽约州奥斯汀。

[14]

约翰·菲南（John P Finan）和阿尔伯特·H·莱耶（Albert H Leyerle）。1987年，Perp Rule Program：计算机化反永续规则。《法学》28（1987），317–335。

[15]

内维尔·格雷奇（Neville Grech）、迈克尔·孔（Michael Kong。2018.MadMax：在以太坊智能合约中生存。第31届ACM SIGPLAN面向对象编程语言、系统、语言和应用年会论文集。美国纽约州纽约市ACM。

数字图书馆

[16]

詹姆斯·格里梅尔曼（James Grimmelmann）。2017.真实+想象=复杂：走向更好的物业课程。《法律教育杂志》66（2017），930-955。

[17]

韦斯利·纽科姆·霍菲尔德。1913.司法推理中应用的一些基本法律概念。《耶鲁大学法律杂志》23（1913），16-59。

[18]

汤姆·赫维特（Tom Hvitved）。2010年，合同正式语言调查。面向合同的软件的形式语言和分析（2010），29–32。

[19]

S Peyton Jones、Jean-Marc Eber和Julian Seward。2000.《撰写合同：金融工程的冒险》，ACM SIGPLAN通告35，9（2000），280-292。

数字图书馆

[20]

莎拉·劳斯基（Sarah B Lawsky）。2016.规范化。《税法评论》70（2016），377。

[21]

休斯顿普特南·洛瑞。1979年，标准化：革命性的方法。《法学》20，2（1979），140–144。

[22]

L Thorne McCarty。1976年，《关于税务人的思考：人工智能和法律推理的实验》。哈夫。L.Rev.90（1976），837。

[23]

L Thorne McCarty。1989年，法律话语的一种语言。基本特征。ICAIL，第89卷。180–189.

[24]

L Thorne McCarty。2002.所有权：法律概念表述的案例研究。《人工智能与法律》10，1-3（2002），135–161。

数字图书馆

[25]

托马斯·梅里尔和亨利·史密斯。2017年，房地产：原则和政策。基金会出版社，明尼苏达州圣保罗。

[26]

戈登·佩斯（Gordon J Pace）和迈克尔·罗斯纳（Michael Rosner）。2009年。合同规范的受控语言。在受控自然语言国际研讨会上。226–245.

[27]

Shayak Sen、Saikat Guha、Anupam Datta、Sriram K.Rajamani、Janice Y.Tsai和Jeannette M.Wing。2014.在大数据系统中引导隐私合规。2014年IEEE安全与隐私研讨会，SP 2014，美国加利福尼亚州伯克利，2014年5月18日至21日。IEEE计算机学会，327–342。

数字图书馆

[28]

马雷克·塞尔戈特、法里巴·萨德里、罗伯特·科瓦尔斯基、弗兰克·克里瓦切克、彼得·哈蒙德和H·特雷斯·科里。1986年，《英国国籍法》作为一个逻辑程序。Commun公司。ACM 29，5（1986），370–386。

数字图书馆

[29]

尼克·萨博。2002.合同分析的正式语言。2019年4月29日检索自http://nakamotoinstitute.org/contract-language/

[30]

Petar Tsankov、Andrei Marian Dan、Dana Drachsler-Cohen、Arthur Gervais、Florian Bünzli和Martin T.Vechev。2018.安全：智能合约的实际安全分析。2018年10月15日至19日在加拿大安大略省多伦多举行的2018年ACM SIGSAC计算机和通信安全会议记录中，David Lie、Mohammad Mannan、Michael Backes和XiaoFeng Wang（编辑）。ACM，67–82岁。

数字图书馆

引用人

克雷法S车道C萨托·GVeschetti A型(2023)条约必须遵守计算机程序设计科学2016年10月10日/j.scico.2022.102911225：C在线发布日期：2023年1月1日
https://dl.acm.org/doi/10.1016/j.scico.2022.102911
车道C帕伦蒂A萨托·G(2023)法律合同修订协调模型和语言10.1007/978-3-031-35361-1_14(253-270)在线发布日期：2023年6月15日
https://doi.org/10.1007/978-3-031-35361-1-14
克雷法S(2022)从法律契约到法律演算：代码驱动的规范性理论计算机科学中的电子论文集10.4204年9月368.2日368(23-42)在线发布日期：2022年9月6日
https://doi.org/10.4204/EPTCS.368.2
显示更多引用者

索引术语

作为编程语言的属性传输

建议

加泰罗尼亚：法律编程语言

法律总体上支撑着现代社会，规范和管理着公民日常生活的许多方面。通常，法律会在各个法院和司法管辖区受到解释、辩论和质疑。但在其他一些领域，法律规定。。。
阅读更多信息
用于构建自优化AST解释器的领域特定语言
2014年GPCE

自我优化的AST解释器动态适应提供的输入，以更快地执行。这种调整包括输入的初始测试、对AST节点的更改以及插入保护以确保假设仍然成立。如此专业化。。。
阅读更多信息
选择编程语言

没有一种语言适合所有的任务，而且可能永远不会有一种。在选择编程语言时，您必须平衡程序员的生产力、可维护性、效率、可移植性、工具支持以及软件和硬件。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

向前的！2019年：2019年ACM SIGPLAN关于编程和软件新思想、新范式和思考的国际研讨会会议记录

2019年10月

197页

国际标准图书编号：9781450369954

内政部：10.1145/3359591

总主席：
Hidehiko Masuhara先生
日本东京理工大学
,
托马斯·彼得里切克
英国肯特大学

版权所有©2019 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护].

赞助商

SIGPLAN：ACM编程语言特别兴趣小组

出版商

计算机协会

美国纽约州纽约市

出版历史记录

出版：2019年10月23日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章

资金来源

国家科学基金会

会议

19年飞溅

赞助商：

SIGPLAN（SIGPLAN）

SPLASH’19:2019 ACM SIGPLAN系统、编程、语言和应用国际会议：人性化软件

2019年10月23日至24日

希腊雅典

接受率

总体接受率105份提交文件中的40份，38%

即将召开的会议

24年飞溅

赞助商：
信号平面图

ACM SIGPLAN系统、编程、语言和应用国际会议：人类软件

2024年10月20日至25日

帕萨迪纳，加利福尼亚州，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

5
引文总数
查看引文
322
总下载次数

下载次数（过去12个月）40
下载次数（最近6周）2

其他指标

查看作者指标

引文

引用人

克雷法S车道C萨托·G维切蒂A(2023)条约必须遵守计算机程序设计科学2016年10月10日/j.scico.2022.102911225：C在线发布日期：2023年1月1日
https://dl.acm.org/doi/10.1016/j.scico.2022.102911
车道C家长A萨托·G(2023)法律合同修订协调模型和语言10.1007/978-3-031-35361-1_14(253-270)在线发布日期：2023年6月15日
https://doi.org/10.1007/978-3-031-35361-1-14
克拉法S(2022)从法律契约到法律演算：代码驱动的规范性理论计算机科学中的电子论文集10.4204/EPTCS.368.2368(23-42)在线发布日期：2022年9月6日
https://doi.org/10.4204/EPTCS.368.2
格里梅尔曼J魏茨纳D费根鲍姆JYoo C公司(2022)程序设计语言与法律：研究议程2022年计算机科学与法律研讨会论文集10.1145/3511265.3550447(155-165)在线发布日期：2022年11月1日
https://dl.acm.org/doi/10.1145/3511265.3550447
阿拉霍一世莫戈斯A(2021)跨文化计算教育：跨越差异走向正义美国计算机学会计算机教育汇刊10.1145/345803721:4(1-33)在线发布日期：2021年10月25日
https://dl.acm.org/doi/10.1145/3458037

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子