The Experts below are selected from a list of 2106 Experts worldwide ranked by ideXlab platform

Mads Tofte - One of the best experts on this subject based on the ideXlab platform.

  • annodomini from type theory to year 2000 Conversion Tool
    Symposium on Principles of Programming Languages, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • POPL - AnnoDomini: from type theory to Year 2000 Conversion Tool
    Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • TLCA - AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
    Lecture Notes in Computer Science, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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.

Peter Harry Eidorff - One of the best experts on this subject based on the ideXlab platform.

  • annodomini from type theory to year 2000 Conversion Tool
    Symposium on Principles of Programming Languages, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • POPL - AnnoDomini: from type theory to Year 2000 Conversion Tool
    Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • TLCA - AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
    Lecture Notes in Computer Science, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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.

Fritz Henglein - One of the best experts on this subject based on the ideXlab platform.

  • annodomini from type theory to year 2000 Conversion Tool
    Symposium on Principles of Programming Languages, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • POPL - AnnoDomini: from type theory to Year 2000 Conversion Tool
    Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • TLCA - AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
    Lecture Notes in Computer Science, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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.

Christian Mossin - One of the best experts on this subject based on the ideXlab platform.

  • annodomini from type theory to year 2000 Conversion Tool
    Symposium on Principles of Programming Languages, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • POPL - AnnoDomini: from type theory to Year 2000 Conversion Tool
    Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • TLCA - AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
    Lecture Notes in Computer Science, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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.

Henning Niss - One of the best experts on this subject based on the ideXlab platform.

  • annodomini from type theory to year 2000 Conversion Tool
    Symposium on Principles of Programming Languages, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • POPL - AnnoDomini: from type theory to Year 2000 Conversion Tool
    Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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), completeness (identifying all potential Year 2000 problems), correctness (correct fixes for Year 2000 problems) and a high degree of safe automation in all phases (declarative specification of Conversions, no second-guessing or dangerous heuristics).In this paper we present the type-theoretic foundations of AnnoDomini: type system, type inference, unification theory, semantic soundness, and correctness of Conversion. We also describe how these foundations have been applied and extended to a common COBOL mainframe dialect, and how AnnoDomini is packaged with graphical user interface and syntax-sensitive editor into a commercially available software Tool.

  • TLCA - AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
    Lecture Notes in Computer Science, 1999
    Co-Authors: Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sorensen, Mads Tofte
    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.