February 1973 - Vol. 16 No. 2
Features
Representation of contours and regions for efficient computer search
A novel computer-searchable representation for the three basic pictorial features, contour maps, region coverage, and line structures, is described. The representation,…
The use of grammatical inference for designing programming languages
Both in designing a new programming language and in extending an existing language, the designer is faced with the problem of deriving a “natural” grammar for…
A theory of discrete patterns and their implementation in SNOBOL4
The notion of a discrete pattern is formalized and certain properties deduced. A pattern is shown to be a generalization of a formal language. Algorithms for implementing…
Automatic errorbounds for simple zeros of analytic functions
The Cauchy-Ostrowski theorem on convergence of Newton iterates for an analytic function in one variable is extended to include computational errors using complex interval…
Reducing the retrieval time of scatter storage techniques
A new method for entering and retrieving information in a hash table is described. The method is intended to be efficient if most entries are looked up several times. The…
A software design and evaluation system
A critical failure of current software system design and implementation methodology is that the performance of a proposed design is not evaluated before it is actually…
An overview of the ISPL computer systems design
This paper explores the advantages of the concurrent design of the language, operating system, and machine (via microcode) to create an interactive programming…