Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine S\orensen, Mads Tofte. AnnoDomini: From Type Theory to a Year 2000 Conversion Tool. ERCIM News, European Research Consortium for Informatics and Mathematics (ERCIM), http://www.ercim.org, 36:12-13, January 1999.
Download paper:
Follow the link
Copyright notice:This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
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
Peter Harry Eidorff
Fritz Henglein
Christian Mossin
Henning Niss
M. H. S\orensen
Mads Tofte
@article{ehmnst99c,
Author = {Eidorff, Peter Harry and Henglein, Fritz and Mossin, Christian and Niss, Henning and S\orensen, Morten Heine and Tofte, Mads},
Title = {AnnoDomini: From Type Theory to a Year 2000 Conversion Tool},
Journal = {ERCIM News},
Volume = {36},
Pages = {12--13},
Month = {January},
Year = {1999}
}
Get EndNote Reference (.ref)