AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem

Authors:
Peter Harry Eidorff;Fritz Henglein;Christian Mossin;Henning Niss;Morten Heine Sørensen;Mads Tofte
Affiliations:
-;-;-;-;-;-
Venue:
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Year:
1999

Citing 5
Cited 1

Lackwit: a program understanding tool based on type inference

ICSE '97 Proceedings of the 19th international conference on Software engineering
The year 2000 software problem: quantifying the costs and assessing the consequences

The year 2000 software problem: quantifying the costs and assessing the consequences
AnnoDomini: from type theory to Year 2000 conversion tool

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Aggregate structure identification and its application to program analysis

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type Inference for COBOL Systems

WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)

An automated approach for finding variable-constant pairing bugs

Proceedings of the IEEE/ACM international conference on Automated software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.