Abstract
AnnoDomini is a commercially available source-to-source conversion tool for nding and xing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specication, analysis, and transformation to achieve its main design goals: flexibility, completeness, correctness, and a high degree of safe automation.
Cite
CITATION STYLE
Eidorff, P. H., Henglein, F., Mossin, C., Niss, H., Sörensen, M. H. B., & Tofte, M. (1999). Annodomini in practice: A type-theoretic approach to the year 2000 problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1581, pp. 6–13). Springer Verlag. https://doi.org/10.1007/3-540-48959-2_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
