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:
Post a Comment