John E. Shore's research while affiliated with United States Naval Research Laboratory and other places

Publications (5)

Article
As part of the experimental redesign of the flight software for the Navy's A-7 aircraft, software modules were designed to encapsulate the characteristics of hardware devices connected to the computer. The purpose of these device interface modules is to allow the remainder of the software to remain unchanged when devices are changed or replaced. To...
Article
Full-text available
The concept of “type” has been used without a precise definition in discussions about programming languages for 20 years. Before the concept of user defined data types was introduced, a definition was not necessary for discussions of specific programming languages. The meaning of the term was implicit in the small list of possible types supported b...
Article
Full-text available
The concept of "type" has been used without a precise definition in discussions about programming languages for 20 years. Before the concept of user defined data types was introduced, a definition was not necessary for discussions of specific programming languages. The meaning of the term was implicit in the small list of possible types supported b...
Article
Full-text available
Compilers for current programming languages enforce rigid restrictions on changes, during the compilation of a statement, in the set of associations between names and declarations, that is, on changes in the compile-time environment of the statement. These restrictions inhibit the writing of well-structured, modular programs, because such programs...

Citations

... B. [4]) oder Typen als Äquivalenzklasse von Variablen (z. B. [18]). K Content courtesy of Springer Nature, terms of use apply. ...
... As part of that project, the team produced an extensive set of development documents, many of which are publicly available. While the A-7E requirements [1] and design documents [4][5] [13] are not written in widely differing languages, they provide redundant descriptions of the behavior of the A-7E Operational Flight Program (OFP). This can be seen clearly by comparing the function descriptions in the software requirements document [1] to the function descriptions that specify the function driver module [4]. ...
... The term "datatype" could be misleading depending on the background of the reader. In computer science, a datatype outlines the manner a variable should be interpreted, how is implemented, encoded and stored in the system, what operations allows, its meaning and the value ranges for the observation [8]. ...