Publications per year
Publications per year
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.
| Status | Finished |
|---|---|
| Effective start/end date | 01/08/1991 → 01/07/1996 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Ph.D. thesis
-
Effective Programming
Frost, J., Aug 1996, Kgs. Lyngby, Denmark: Technical University of Denmark. 170 p.Research output: Book/Report › Ph.D. thesis