| AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem (2007) | |||||||||||||||
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. 1 Introduction The Year 2000 (Y2K) problem refers to the inability of software and hardware systems to process dates in the 21st century correctly. 1 The problem arises from representing calendars years by their last two digits and thus restricting the range of representable years to 1900-1999. Starting some 40 years ago, this convention was established as one of numerous techniques for conserving precious memory space. The most widespread Year-2000-unsafe date representation consists of six characters. It has two characters each for the day of the month, the month of the year, and the calendar year, often in the order year-month-day (YYMMDD). The string "981106", ... | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||