DocumentCode
1454846
Title
Specifying restrictions on imperative programming languages for use in a distributed embedded environment
Author
Hutcheon, Andrew D. ; Wellings, Andrew J.
Author_Institution
Dept. of Comput. Sci., York Univ., UK
Volume
5
Issue
2
fYear
1990
fDate
3/1/1990 12:00:00 AM
Firstpage
93
Lastpage
104
Abstract
Presents a language-independent specification of how the use of a common class of imperative programming languages can be restricted for a distributed environment. A simple formal model, in Z, of imperative programming languages is developed, and restrictions are specified. The model is then instantiated for the languages Ada, Modula and C. It gives good results for Ada and Modula, but cannot be elegantly applied to C because the language lacks both a module and process facility. A distributed Ada programming environment based on the model is described briefly
Keywords
parallel programming; programming environments; specification languages; C; Modula; Z; distributed Ada programming environment; distributed embedded environment; formal model; imperative programming languages; language-independent specification; restrictions;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
54393
Link To Document