%0 Journal Article 
%F ehmnst99c
%A Eidorff, Peter Harry
%A Henglein, Fritz
%A Mossin, Christian
%A Niss, Henning
%A S\orensen, Morten Heine
%A Tofte, Mads
%T AnnoDomini: From Type Theory to a Year 2000 Conversion Tool
%J ERCIM News
%V 36
%P 12-13
%X AnnoDomini is a commercially available source-to-source conversion tool for making COBOL programs Year 2000 compliant. It was developed in the last two years by a group at DIKU (part of the ERCIM partner DANIT) and grew directly out of research in the theory of programming languages; it uses type-based specification, analysis, and transformation. These are combined into an integrated software reengineering tool and method for finding and fixing Year 2000 problems. AnnoDomini's primary goals have been flexibility, completeness, correctness, and a high degree of safe automation
%U http://www.ercim.org/publication/Ercim_News/enw36/sorensen.html
%8 January
%D 1999