August 1976 - Vol. 19 No. 8
Features
Tools and philosophy for software education
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…
The denotational semantics of programming languages
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…
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…
Protection in operating systems
A model of protection mechanisms in computing systems is presented and its appropriateness is argued. The “safety” problem for protection systems under this…
An insertion technique for one-sided height-balanced trees
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…