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

13 years 8 months ago

Download www.diku.dk

AnnoDomini is a commercially available source-to-source conversion tool for ﬁnding and ﬁxing Year 2000 problems in COBOL programs. AnnoDomini uses type-based speciﬁcation, analysis, and transformation to achieve its main design goals: ﬂexibility, completeness, correctness, and a high degree of safe automation.

Peter Harry Eidorff, Fritz Henglein, Christian Mos

Real-time Traffic

Available Source-to-source Conversion | Main Design Goals | Theoretical Computer Science | TLCA 1999 | Year 2000 Problems |

claim paper

» A Lower Bound for the Breakpoint Phylogeny Problem

» A snapon placement tool

» Exploiting a ThesaurusBased Semantic Net for KnowledgeBased Search

» Torture Tests A Quantitative Analysis for the Robustness of KnowledgeBased Systems

» The Grid Workloads Archive

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1999
Where	TLCA
Authors	Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte

Comments (0)

Sciweavers

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

Available Source-to-source Conversion | Main Design Goals | Theoretical Computer Science | TLCA 1999 | Year 2000 Problems |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers