~lobsters | Bookmarks (2)
-
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Abstract: Legal expert systems routinely rely on date computations to determine the eligibility of a citizen...
-
A Modern Compiler for the French Tax Code
Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is...