约定必须遵守：Stipula中的法律合同
编程语言
2021-10-22 v1
摘要
在数字系统上运行法律合同的兴趣日益增长，同时，理解软件合同在多大程度上可捕获法律内容十分重要。我们进而对法律合同进行基础性研究，提炼出四大主要特征：协议、许可、违约与义务。我们因此设计了Stipula，一种通过特定模式辅助律师编写法律合同的领域特定语言。该语言基于一组对应于法律合同中常见模式且可在集中式或分布式系统上执行的微小抽象。Stipula带有形式语义与观察等价，从而清晰刻画合同行为。该语言的表达能力由一组对应于实践中常用的模板合同的示例加以说明。
引用
@article{arxiv.2110.11069,
title = {Pacta sunt servanda: legal contracts in Stipula},
author = {Silvia Crafa and Cosimo Laneve and Giovanni Sartor},
journal= {arXiv preprint arXiv:2110.11069},
year = {2021}
}