Herbert Grosch
Pages 428-429
This paper describes a set of tools and a philosophy for teaching software that have been found very useful in courses at MIT over the past seven years. The tools include programs such as simulators, graders, compilers, and monitors …
John J. Donovan
Pages 430-436
This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey. The application of the theory to formal language specification is demonstrated and other applications …
R. D. Tennent
Pages 437-453
An experimental system for computer-aided design of free-form surfaces in three dimensions is described. The surfaces are represented in the system as parametric basis splines. The principal features of the system are: (1) the …
James H. Clark
Pages 454-460
A model of protection mechanisms in computing systems is presented and its appropriateness is argued. The “safety” problem for protection systems under this model is to determine in a given situation whether a subject can acquire …
Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman
Pages 461-471
A restriction on height-balanced binary trees is presented. It is seen that this restriction reduces the extra memory requirements by half (from two extra bits per node to one) and maintains fast search capabilities at a cost …
D. S. Hirschberg
Pages 471-473
Pages 476-477
