Jump to : Download | Abstract | See also | Contact | BibTex reference | EndNote reference |


Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine S\orensen, Mads Tofte. AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. In TLCA, Pages 6-13, 1999.


Download paper: Adobe portable document (pdf) pdf

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 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

See also

[ tlca99 ]


Peter Harry Eidorff
Fritz Henglein
Christian Mossin
Henning Niss
M. H. S\orensen
Mads Tofte

BibTex Reference

   Author = {Eidorff, Peter Harry and Henglein, Fritz and Mossin, Christian and Niss, Henning and S\orensen, Morten Heine and Tofte, Mads},
   Title = {AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem},
   BookTitle = {TLCA},
   Pages = {6--13},
   Year = {1999}

EndNote Reference [help]

Get EndNote Reference (.ref)