Featured Post

Linkedin

 These days, I mostly post my tech musings on Linkedin.  https://www.linkedin.com/in/seanmcgrath/

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: