AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem

AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, analysis, and transformation to achieve its main design goals: flexibility, completeness, correctness, and a high degree of safe automation.

• Type: Conference
• Year: 1999
• Where: TLCA
• Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
• Keywords: Available Source-to-source Conversion, Main Design Goals, Theoretical Computer Science, TLCA 1999, Year 2000 Problems