February 1974 - Vol. 17 No. 2
Features
Attribute based file organization in a paged memory environment
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…
A cell organized raster display for line drawings
Raster scan computer graphics displays with “real time” character generators have previously been limited to alphanumeric characters. A display is described…
An approximate method for generating asymmetric random variables
Tukey's lambda distribution is generalized to provide an algorithm for generating values of unimodal asymmetric random variables. This algorithm has the same advantages…
The parallel execution of DO loops
Methods are developed for the parallel execution of different iterations of a DO loop. Both asynchronous multiprocessor computers and array computers are considered.…
Production systems: or can we do better than BNF
Since the development of BNF, the definition of the syntax of programming languages has been almost universally associated with context-free requirements. Yet numerous…
The synthesis of loop predicates
Current methods for mechanical program verification require a complete predicate specification on each loop. Because this is tedious and error prone, producing a program…