Secure extensible languages, design of

Morton, Richard Peter McE (1975) Secure extensible languages, design of. PhD thesis, University of Glasgow.

Full text available as:
[thumbnail of 10647447.pdf] PDF
Download (14MB)


The basic premise of this thesis is that extensible languages afford the user considerable power and flexibility. We argue that this flexibility can, and should, be provided in a secure and error-resistant manner, but that this objective is not realised in existing extensible languages. This thesis first investigates the nature of security in programming languages, building up a simple and informal theory of the design of secure languages, and relating this theory to the notions of structured programming and .transparency. We use this theory to build a conceptual model for a secure extensible language and its physical realisation. We show that existing extensible languages fail to meet the ideals of this model in total, and proceed to design an alternative and secure system which builds upon, but attempts to avoid the pitfalls of existing systems. We base this system on a string processing language (Snip) which is itself extensible. The remainder of this thesis discusses the design and implementation (based on an abstract machine, SAM) of this language.

Item Type: Thesis (PhD)
Qualification Level: Doctoral
Additional Information: Adviser: D C Gilles
Keywords: Computer science
Date of Award: 1975
Depositing User: Enlighten Team
Unique ID: glathesis:1975-73107
Copyright: Copyright of this thesis is held by the author.
Date Deposited: 14 Jun 2019 08:56
Last Modified: 14 Jun 2019 08:56

Actions (login required)

View Item View Item


Downloads per month over past year