DocumentCode
1216319
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
Volume
2
Issue
4
fYear
1987
fDate
7/1/1987 12:00:00 AM
Firstpage
86
Lastpage
94
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
DOI
10.1049/sej.1987.0012
Filename
4807892
Link To Document