Projects per year
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 language | English |
---|
Place of Publication | Kgs. Lyngby, Denmark |
---|---|
Publisher | Technical University of Denmark |
Number of pages | 170 |
ISBN (Print) | 87-89112-37-7 |
Publication status | Published - Aug 1996 |
Fingerprint
Dive into the research topics of 'Effective Programming'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Effective Programming
Hansen, B. S. (Project Manager) & Frost, J. (Project Participant)
01/08/1991 → 01/07/1996
Project: Research