Effective Programming

  • Hansen, Bo Stig (Project Manager)
  • Frost, Jacob (Project Participant)

    Project Details

    Description

    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.
    StatusFinished
    Effective start/end date01/08/199101/07/1996

    Research Output

    • 1 Ph.D. thesis

    Effective Programming

    Frost, J., Aug 1996, Kgs. Lyngby, Denmark: Technical University of Denmark. 170 p.

    Research output: Book/ReportPh.D. thesis