Tuesday, April 19, 2011

Law as source code versus Law is source code

There is no doubt in my mind that some parts of the legal corpus can benefit from a rigorous expression language, be that Python in the case of executable SEC regulations or C# for crisply defining predicate functions.

Things get interesting once one adopts a formal expression syntax for law because even if you are just in the business of "writing it down" in VDM or Z Notation or PNML somebody, somewhere is going to write an interpreter/compiler for it:-)

No comments: