Anglo-American law enables property owners to split up rights to a thing over time among multiple people by breaking their ownership apart into multiple future interests. The system of legal doctrines governing future interests is notorious among lawyers and law students for its complexity. The conveyances property owners use to transfer and subdivide property rights follow rigid syntactic conventions and are governed by an intricate body of interlocking legal doctrines that determine the legal effect of a conveyance over time. These doctrines have been codified, but only in informal and potentially ambiguous ways. However, both the syntactic structure and underlying semantic of conveyances are amenable to analysis using tools and techniques from programming language theory and practice. This paper presents preliminary work in developing a formal model for expressing and analyzing property conveyances.
(dsldi17-final12.pdf) | 322KiB |
Sun 22 Oct Times are displayed in time zone: Tijuana, Baja California change
13:30 - 13:52 Talk | MkMod: A Domain Specific Language for developing Linux Kernel Modules DSLDI Manasij MukherjeeChennai Mathematical Institute File Attached | ||
13:52 - 14:15 Talk | Bacatá: a generic notebook generator for DSLs DSLDI Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen File Attached | ||
14:15 - 14:37 Talk | Thapl—A Theatrical DSL DSLDI Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology File Attached | ||
14:37 - 15:00 Talk | Towards Naturalistic EDSLs using Algebraic Effects DSLDI Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany Link to publication Pre-print Media Attached File Attached |
15:30 - 15:52 Talk | Property Law as a Programming Language DSLDI Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell University File Attached | ||
15:52 - 16:15 Talk | Embedding By Normalisation DSLDI Shayan NajdUniversity of Edinburgh File Attached | ||
16:15 - 16:37 Talk | Reliable composition of domain-specific language features DSLDI File Attached | ||
16:37 - 17:00 Day closing | Discussion and closing remarks DSLDI |