Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine B. Sørensen, Mads Tofte  Home/Search
Context
Related
| diku.dk/diku/semantics/pa...D384.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: diku.dk/diku/semantics/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 ... (Update)
Similar documents (at the sentence level):
31.0%: AnnoDomini: From Type Theory to Year 2000 Conversion Tool - Eidorff, Henglein.. (1999) (Correct)
Active bibliography (related documents): More All
0.1: Understanding COBOL Systems using Inferred Types - van Deursen, Moonen (1999) (Correct)
0.1: Research Issues in the Renovation of Legacy Systems - van Deursen, Klint, Verhoef (1999) (Correct)
0.1: Aggregate Structure Identification and its Application to .. - Ramalingam, Field, Tip (1999) (Correct)
Similar documents based on text: More All
0.6: Schedule - The Following (Correct)
0.6: CompSci 790-2: Program Analysis - Boyland (Correct)
0.5: A Direct Approach to Control-Flow Sensitive Region-Based.. - Henglein, Makholm, Niss (2001) (Correct)
BibTeX entry: (Update)
@inproceedings{ eidorff99annodomini,
author = "Peter Eidorff and Fritz Henglein and Christian Mossin and Henning Niss and Morten Heine B.\ S{\o}rensen and Mads Tofte",
title = "{AnnoDomini} in Practice: {A} Type-Theoretic Approach to the {Y}ear 2000 Problem",
booktitle = "Proc.\ Symposium on Typed Lambda Calculus and Applications ({TLCA})",
volume = "1581",
publisher = "Springer-Verlag",
address = "L'Aquila, Italy",
editor = "Jean-Yves Girard",
pages = "6--13",
year = "1999",
url = "citeseer.ist.psu.edu/318266.html" }
Citations (may not include all citations):35 Lackwit: A program understanding tool based on type inferenc.. - O'Callahan, Jackson - 1997
22 Aggregate structure identification and its application to pr.. - Ramalingam, Field et al. - 1999
10 Type inference for COBOL systems - van Deursen, Moonen - 1998
Documents on the same site (ftp://ftp.diku.dk/diku/semantics/papers/): More
Implementation of an Experimental System for Automatic.. - Futamura, Konishi, Glück (2000) (Correct)
Levin, Blum and the Time Optimality of Programs - Christensen (1999) (Correct)
A region-based memory manager for Prolog - Makholm (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC