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)
Context of citations to this paper: More
...to employ functional programming for the devel opment of large scale program transformation systems. One exception is Ann oDomini [8] where SML is used for the implementation of a Y2K tool. The traversal part of AnnoDomini is kept to a reasonable size by a specific...
Cited by: More
Architectural Modifications to Deployed Software - Lämmel, Verhoef (2004) (Correct)
Typed Combinators for Generic Traversal - Lämmel, Visser (2002) (Correct)
Similar documents (at the sentence level):
11.2%: AnnoDomini in Practice: A Type-Theoretic Approach.. - Eidorff.. (Correct)
Active bibliography (related documents): More All
0.1: Understanding COBOL Systems using Inferred Types - van Deursen, Moonen (1999) (Correct)
0.1: Civil Law and the Development of Software Engineering - Shapiro (1996) (Correct)
0.1: Dealing with TLB Tags or I Want to Build a System, What Can L4 Do .. - Heiser (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
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)
Related documents from co-citation: More All
2: Programming Perl (context) - Larry, Schwartz - 1991
2: Functional transformation systems - Kort, ammel et al. - 2000
2: Building Program Optimizers with Rewriting Strategies - Visser, Abidine et al. - 1998
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