AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem (2007)
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Peter Harry, Eidorff Fritz, Henglein Christian Mossin, ...
. 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...
the Principles of Programming Lnguages (POPL 99), 1999. (2007)
Order Mads Tofte, M. Tofte, L. Birkedal, M. Elsman, Mads Tofte, Gordon Plotkin, ...
Publications and notes in chronological
AnnoDomini: From Type Theory to Year 2000 Conversion Tool (1999)
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Peter Harry, Eidorff Fritz, Mads Tofte, ...
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...