I don't see why you're getting downvoted here, because the analogy is pretty apt. Much like programming languages, law language has evolved to be written in a

I don't see why you're getting downvoted here, because the analogy is pretty apt. Much like programming languages, law language has evolved to be written in a way that's unambiguous as possible. Like programming languages, contracts and the like don't succeed in having 100% predictable semantics. One source of unpredictability of results comes from the lack of a stable, 100% predictable execution platform (namely, judges, juries, lawyers, and current case law and legislation), much like compilers and platforms do not 100% specify their behavior, or even when they do, the run-time behavior is not perfectly predictable (e.g. when does the GC run). Another source of unpredictability is that law at the end of the day must interface with the non-legal world ('facts' vs. law) and so touches global context which isn't known when the law or contract was drafted, which one might compare to dealing with unforeseen interactions with the OS, deployment environments, user input, etc. So while laws and programs try to accurately and precisely encode their own internal semantics, they sometimes fail because they depend on other things that don't have perfectly defined semantics.