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


Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine S\orensen, Mads Tofte. AnnoDomini: From type theory to Year 2000 conversion tool. In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Pages 1-14, New York, NY, USA, January 1999.


Download paper: (link)

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 source-to-source conversion tool for making COBOL programs Year 2000 compliant. It is technically and conceptually built upon type-theoretic techniques and methods: type-based specification, program analysis by type inference and type-directed 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 \emph{flexibility} (support for multiple year representations), \emph{completeness} (identifying all potential Year 2000 problems), \emph{correctness} (correct fixes for Year 2000 problems) and a high degree of \emph{safe automation} in all phases (declarative specification of conversions, no second-guessing or dangerous heuristics). In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software tool


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: From type theory to Year 2000 conversion tool},
   BookTitle = {POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
   Pages = {1--14},
   Publisher = {ACM},
   Address = {New York, NY, USA},
   Month = {January},
   Year = {1999}

EndNote Reference [help]

Get EndNote Reference (.ref)