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

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine B. Sörensen and Mads Tofte

View Related Documents

Book Chapter
Type Systems for Useless-Variable Elimination
Adam Fischbach and John Hannan
Lecture Notes in Computer Science, 2001, Volume 2053, Programs as Data Objects, Pages 25-38
- Download PDF (218.9 KB)
Book Chapter
Automating functions in multi-agent control systems: supporting the decision process
M. D. Harrison, P. D. Johnson and P. C. Wright
2002, Components of System Safety, Part 3, Pages 93-106
- Download PDF (2.0 MB)
Journal Article
Asynchronous implementation of discrete event controllers based on safe automation Petri nets
Murat Uzam, İ. Burak Koç, Gökhan Gelen and B. Hakan Aksebzeci
The International Journal of Advanced Manufacturing Technology, 2009, Volume 41, Numbers 5-6, Pages 595-612
- Download PDF (575.2 KB)
Book Chapter
MiMPI: A Multithread-Safe Implementation of MPI
F. García, A. Calderón and J. Carretero
Lecture Notes in Computer Science, 1999, Volume 1697, Recent Advances in Parallel Virtual Machine and Message Passing Interface, Page 674
- Download PDF (569.5 KB)
Book Chapter
Implementing a New Low-Level Tasking Support for the GNAT Runtime System?
José F. Ruiz and Jesús M. González-Barahona
Lecture Notes in Computer Science, 1999, Volume 1622, Reliable Software Technologies — Ada-Europe’ 99, Pages 664-665
- Download PDF (401.6 KB)
Book Chapter
Classes and types
2009, Exploring C++, PART 2, Pages 283-291
- Download PDF (113.7 KB)
Book Chapter
Clarified Recorder and Analyzer for Visual Drill Down Network Analysis
Jani Kenttälä, Joachim Viide, Timo Ojala, Pekka Pietikäinen and Mikko Hiltunen, et al.
Lecture Notes in Computer Science, 2009, Volume 5448, Passive and Active Network Measurement, Pages 122-125
- Download PDF (212.8 KB)
Journal Article
The dynamic power management for embedded system with Poisson process
Tian-zhou Chen, Jiang-wei Huang and Hong-jun Dai
Journal of Zhejiang University - Science A, 2005, Volume 6, Supplement 1, Pages 70-74
- Download PDF (363.6 KB)
Book Chapter
Impact interactive mathematical program for automatic control theory
Magnus Rimvall and François Cellier
Lecture Notes in Control and Information Sciences, 1984, Volume 63, Analysis and Optimization of Systems, Pages 578-597
- Download PDF (671.6 KB)
Journal Article
End-to-end security implementation for mobile devices using TLS protocol
Baris Kayayurt and Tugkan Tuglular
Journal in Computer Virology, 2006, Volume 2, Number 1, Pages 87-97
- Download PDF (572.2 KB)

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.

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

SpringerLink

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

View Related Documents

Abstract

Fulltext Preview