论文标题
编程语言和法律：研究议程
Programming Languages and Law: A Research Agenda
论文作者
论文摘要
如果代码是法律，则法律语言是一种编程语言。律师和法律学者可以通过研究编程语言理论来了解法律，并且可以将编程语言工具用于法律问题。本文调查了有关编程语言和法律研究的历史，并提出了十种有希望的途径，以实现未来的努力。它的目标是解释在更广泛的计算机科学和法律领域中，编程语言和法律的结合如何与众不同，并用具体示例来证明这个新领域中编程语言概念的显着力量。
If code is law, then the language of law is a programming language. Lawyers and legal scholars can learn about law by studying programming-language theory, and programming-language tools can be usefully applied to legal problems. This article surveys the history of research on programming languages and law and presents ten promising avenues for future efforts. Its goals are to explain how the combination of programming languages and law is distinctive within the broader field of computer science and law, and to demonstrate with concrete examples the remarkable power of programming-language concepts in this new domain.
