Konsep Inti
法律における日付計算の正確な処理と静的解析が重要である。
Statistik
Java's java.time libraryは無効な日付を最大事前存在する日時まで丸め込みます。
US Internal Revenue Code [25] のセクション121から引用した例文では2年後の2月29日へ2年追加した場合Javaでは2006年3月1日と返します。
Kutipan
"Legal expert systems routinely rely on date computations to determine the eligibility of a citizen to social benefits or whether an application has been filed on time."
"Errors in such systems can have dramatic consequences; case in point, the incorrect implementation of Louvois, the former French military payroll system, led to several families either receiving over-payments that they had to reimburse years later, or incomplete paychecks totaling a few cents."