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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. H. Eidorff, F. Henglein, C. Mossin, H. Niss, M.H.B Sörensen, and M. Tofte. Annodomini: From type theory to year 2000 conversion tool. In Principles of Programming Languages, January 1999.
C. Jones. The Year 2000 Software Problem-Quantifying the Costs and Assessing the Consequences. Addison-Wesley, ACM Press, 1998. ISBN 0-201-30964-5.
R. O’Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. In Proc. 1997 International Conference on Software Engineering (ICSE’ 97), Boston, Massachusetts, pages 338–348, May 1997.
G. Ramalingam, J. Field, and F. Tip. Aggregate structure identification and its application to program analysis. In Principles of Programming Languages, January 1999.
A. van Deursen and L. Moonen. Type inference for COBOL systems. To appear in Proc. 5th IEEE Working Conference on Reverse Engineering, Honolulu, Hawaii, October 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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: Girard, JY. (eds) Typed Lambda Calculi and Applications. TLCA 1999. Lecture Notes in Computer Science, vol 1581. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48959-2_2
Download citation
DOI: https://doi.org/10.1007/3-540-48959-2_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65763-7
Online ISBN: 978-3-540-48959-7
eBook Packages: Springer Book Archive