날짜 산술 연산에는 많은 예외 사례가 존재하며, 이는 라이브러리마다 다르게 처리되어 법률 문서를 코드로 정확히 옮기기 어렵고 심각한 재정적, 법적 결과를 초래할 수 있다. 이 연구에서는 날짜 산술 연산의 견고한 기반을 제공하고 모호성을 자동으로 탐지하는 방법을 제안한다.