Walter M. Carlson
Page 615
This paper presents a notation and formalism for describing the semantics of data structures. This is based on directed graphs with named edges and transformations on these graphs. In addition, and implementation facility is
…
Jay Earley
Pages 617-627
A comer system was developed at Purdue University to teach portions of an undergraduate course in numerical methods. Each instructional unit or lesson is divided into three modes of instruction which allow the student to press …
A. E. Oldehoeft, S. D. Conte
Pages 643-650
Although the use of structured display files is widespread in interactive computer graphics, these structures present a number of problems which tend to restrict their generality and usefulness. This paper discusses some of these …
William M. Newman
Pages 651-660
A general discussion of the measurement of software systems is followed by a description of a hardware and software scheme for measuring user programs in a time-shared environment. The TX-2 computer at MIT Lincoln Laboratory
…
Alan G. Nemeth, Paul D. Dovner
Pages 661-666
J. N. Lyness, G. Sande
Pages 669-675
In 1966, after four years of effort, Fortran became the first programming language standardized in the United States. Since that initial achievement, study and application of the standard specifications have revealed the need …
C. Kerpelman
Pages 628-642
The problem of the mutual exclusion of several independent processes from simultaneous access to a “critical section” is discussed for the case where there are two distinct classes of processes known as “readers” and “writers …
P. J. Courtois, F. Heymans, D. L. Parnas
Pages 667-668
