Lecture Notes on Formal Program Development

Kahrs, Stefan (1997) Lecture Notes on Formal Program Development. Technical report. University of Edinburgh (Full text available)

Postscript
Download (326kB)
[img]
Preview
PDF
Download (526kB)
[img]
Preview
Official URL
http://www.cs.kent.ac.uk/pubs/1997/563

Abstract

This document was originally produced as lecture notes for the MSc and PG course ``Formal Program Development'' early in 1997. After some initial general considerations on this subject the paper focusses on the way one can use Extended ML (EML) for formal program development, which features EML contains and why, and which pitfalls one has to avoid when formally developing ML programs. Usage, features, and pitfalls are all presented through examples.

Item Type: Monograph (Technical report)
Uncontrolled keywords: formal methods, specification
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 02 Aug 2009 20:46
Last Modified: 06 Sep 2011 03:53
Resource URI: http://kar.kent.ac.uk/id/eprint/21433 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year