Effective Programming

Jacob Frost

    Research output: Book/Report › Ph.D. thesis

    Abstract

    To investigate the use of VTLoE as a basis for formal derivation of functional programs with effects. As a part of the process, a number of issues central to effective formal programming are considered. In particular it is considered how to develop a proof system suitable for pratical reasoning, how to implement this system in the generic proof assistant Isabelle and finally how to apply the logic and the implementation to programming.
    Original languageEnglish
    Place of PublicationKgs. Lyngby, Denmark
    PublisherTechnical University of Denmark
    Number of pages170
    ISBN (Print)87-89112-37-7
    Publication statusPublished - Aug 1996

    SFX availability

    Full text

    Fingerprint

    Dive into the research topics of 'Effective Programming'. Together they form a unique fingerprint.
    View full fingerprint

    • Effective Programming

      Hansen, B. S. & Frost, J.

      01/08/1991 → 01/07/1996

      Project: Research

    Cite this