Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte  Home/Search
Context Related
| diku.dk/users/tofte/publ/popl99.ps diku.dk/users/hniss/Publ...popl99.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/users/tofte/publ/publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: AnnoDomini is a source-to-source conversion tool for making COBOL programs Year 2000 compliant. It is technically and conceptually built upon type-theoretic techniques and methods: type-based specification, program analysis by type inference and type-directed transformation. These are combined into an integrated software reengineering tool and method for finding and fixing Year 2000 problems. AnnoDomini 's primary goals have been flexibility (support for multiple year representations),... (Update)
Similar documents based on text: More All
1.5: AnnoDomini in Practice: A Type-Theoretic Approach.. - Eidorff.. (Correct)
0.6: Schedule - The Following (Correct)
0.6: CompSci 790-2: Program Analysis - Boyland (Correct)
BibTeX entry: (Update)
P. H. Eidorff, F. Henglein, C. Mossin, H. Niss, M. H. B. Sorensen, and M. Torre. AnnoDomini: From type theory to year 2000 conversion tool. In Conference Record of POPL'99, pages 1-14. ACM press, 1999. Invited paper. http://citeseer.ist.psu.edu/eidorff99annodomini.html More
@inproceedings{ eidorff99annodomini,
author = "Peter Harry Eidorff and Fritz Henglein and Christian Mossin and Henning Niss and Morten Heine S{\o}rensen and Mads Tofte",
title = "{AnnoDomini}: From Type Theory to Year 2000 Conversion Tool",
booktitle = "Conference Record of {POPL} 99: The 26th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Antonio, Texas",
address = "New York, NY",
pages = "1--14",
year = "1999",
url = "citeseer.ist.psu.edu/eidorff99annodomini.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
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
20 Solving word equations (context) - Abdulrab, P'ecuchet - 1989
10 Type inference for COBOL systems - van Deursen, Moonen - 1998
6 th edition (context) - VS, OS et al. - 1986
1 VS COBOL --- User's Guide (context) - ApS, for - 1998
1 VS COBOL --- Reference Manual (context) - ApS, for - 1998
Documents on the same site (http://www.diku.dk/users/tofte/publ/publ.html): More
A Semantics for Higher-order Functors - MacQueen, Tofte (1994) (Correct)
Project for First-Year Undergraduate Computer Science Students.. - Tofte (1996) (Correct)
Object-Oriented Programming and Standard ML - Lars Thorup (1994) (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