Anthony Ralston
Page 61
The high cost of page accessing implies a need for for more careful data organization in a paged memory than is typical of most inverted file and similar approaches to multi-key retrieval. This article analyses that cost and
…
James B. Rothnie, Tomas Lozano
Pages 63-69
Raster scan computer graphics displays with “real time” character generators have previously been limited to alphanumeric characters. A display is described which extends the capabilities of this organization to include general …
B. W. Jordan, R. C. Barrett
Pages 70-77
Tukey's lambda distribution is generalized to provide an algorithm for generating values of unimodal asymmetric random variables. This algorithm has the same advantages as the symmetric random variable generator previously given …
John S. Ramberg, Bruce W. Schmeiser
Pages 78-82
Methods are developed for the parallel execution of different iterations of a DO loop. Both asynchronous multiprocessor computers and array computers are considered. Practical application to the design of compilers for such computers …
Leslie Lamport
Pages 83-93
Since the development of BNF, the definition of the syntax of programming languages has been almost universally associated with context-free requirements. Yet numerous interesting and difficult issues in syntax stem from the
…
Henry F. Ledgard
Pages 94-102
Current methods for mechanical program verification require a complete predicate specification on each loop. Because this is tedious and error prone, producing a program with complete, correct predicates is reasonably difficult …
Ben Wegbreit
Pages 102-113
Page 117
