Kahrs, Stefan (1997) Lecture Notes on Formal Program Development. Technical report. University of Edinburgh (KAR id:21433)
|
Postscript
Language: English |
|
|
Download this file (Postscript/326kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
|
PDF
Language: English |
|
|
Download this file (PDF/526kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| 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: | Reports and Papers (Technical report) |
|---|---|
| Uncontrolled keywords: | formal methods, specification |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Mark Wheadon |
| Date Deposited: | 02 Aug 2009 20:46 UTC |
| Last Modified: | 16 Nov 2021 09:59 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/21433 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Kahrs, Stefan.
| Creator's ORCID: |
 https://orcid.org/0000-0001-5099-9375
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics
