Law Versioning: semantical and executable – LaVerSE

Versioning system — computer programs that allow to work with different versions of the same document — have seen a lot of recent work, both theoretical and practical. The LaVerSE project aims at creating a versioning system for legal texts. Indeed, legal texts have two peculiar features: they are highly structured (and thus the modifications can take this structure into account instead of just working at the textual level) and their modifications are explicitly written by modifying texts.

We thus aim at building a literate programming language specialized in the redaction of modifying texts, and to study both its mathematical underpinnings and the ways in which such a language would improve the redaction and intelligibility of the law.