Cupitt, John R. G. (1989) The design and implementation of an operating system in a functional language. Doctor of Philosophy (PhD) thesis, University of Kent. (doi:10.22024/UniKent/01.02.94289) (KAR id:94289)
|
PDF
Language: English 
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
|
|
|
Download this file (PDF/45MB) |
Preview |
| Official URL: https://doi.org/10.22024/UniKent/01.02.94289 |
|
Abstract
Operating systems are notoriously difficult programs to write. This thesis deals with the design and implementation of a small operating system in the purely functional language Miranda1 [26]. Functional languages promise extreme brevity of expression, combined with the possibility of formal verification. This thesis aims to show that an operating system in a functional language can be both easy to write and easy to reason about.
| Item Type: | Thesis (Doctor of Philosophy (PhD)) |
|---|---|
| DOI/Identification number: | 10.22024/UniKent/01.02.94289 |
| Additional information: | This thesis has been digitised by EThOS, the British Library digitisation service, for purposes of preservation and dissemination. It was uploaded to KAR on 25 April 2022 in order to hold its content and record within University of Kent systems. It is available Open Access using a Creative Commons Attribution, Non-commercial, No Derivatives (https://creativecommons.org/licenses/by-nc-nd/4.0/) licence so that the thesis and its author, can benefit from opportunities for increased readership and citation. This was done in line with University of Kent policies (https://www.kent.ac.uk/is/strategy/docs/Kent%20Open%20Access%20policy.pdf). If you feel that your rights are compromised by open access to this thesis, or if you would like more information about its availability, please contact us at ResearchSupport@kent.ac.uk and we will seriously consider your claim under the terms of our Take-Down Policy (https://www.kent.ac.uk/is/regulations/library/kar-take-down-policy.html). |
| Uncontrolled keywords: | Computer software & programming |
| 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 |
| SWORD Depositor: | SWORD Copy |
| Depositing User: | SWORD Copy |
| Date Deposited: | 12 May 2023 13:36 UTC |
| Last Modified: | 05 Nov 2024 12:59 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/94289 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
