Title :
Towards the formal specification of a simple programming support environment
Author :
Sufrin, Bernard ; Woodcock, Jim
Author_Institution :
Oxford University, Computing Laboratory, Programming Research Group, Oxford, UK
fDate :
7/1/1987 12:00:00 AM
Abstract :
In order to make precise some of the desirable features of a programming support environment, and in order to encourage others to do likewise, this paper presents the formal specification of a small module or package manager suitable foruse in a Modula or Ada environment.
Keywords :
Ada; Modula; programming environments; programming theory; Ada; Modula; formal specification; module; package manager; programming support environment;
Journal_Title :
Software Engineering Journal
DOI :
10.1049/sej.1987.0012
