%0 Conference Proceedings
%F ehmnst99b
%A Eidorff, Peter Harry
%A Henglein, Fritz
%A Mossin, Christian
%A Niss, Henning
%A S\orensen, Morten Heine
%A Tofte, Mads
%T AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
%B TLCA
%P 6-13
%X 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
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/eidorff1999a.pdf
%D 1999