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

Peter Harry Eidorff | Zendy; Fritz Henglein | Zendy; Christian Mossin | Zendy; Henning Niss | Zendy; Morten Heine Sørensen | Zendy; Mads Tofte | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Peter Harry Eidorff,

Fritz Henglein,

Christian Mossin,

Henning Niss,

Morten Heine Sørensen,

Mads Tofte

Publication year - 1999

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-65763-0

DOI - 10.1007/3-540-48959-2_2

Subject(s) - cobol , correctness , completeness (order theory) , computer science , programming language , flexibility (engineering) , software engineering , automation , type (biology) , engineering , mathematics , mechanical engineering , mathematical analysis , ecology , statistics , biology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research