A guide to Illiac programming.

Cover title.First ed. has title: Digital computer programming; lecture notes for Mathematics 385.Bibliography: p. 1-3, 247-248

The Use of an Automatic Computer System in Teaching

Coordinated Science Laboratory was formerly known as Control Systems LaboratoryContract DA-36-039-SC-8512

Determination of "Best" Parameters in a General Linear Theory for Automatic Aircraft Control

Control Systems Laboratory changed its name to Coordinated Science LaboratoryContract DA-11-022-ORD-72

Proposal for a Provision for Inhibiting the Automatic Initiation of Tracks in Certain Areas

Control Systems Laboratory changed its name to Coordinated Science LaboratoryContract DA-36-039-SC-5669

A Third Report on the Experiments with Programs for the Simulation of Large Scale Automata on a Digital Computer

Control Systems Laboratory changed its name to Coordinated Science LaboratoryContract DA-36-039-SC-5669

On the Use of a High Speed General Purpose Digital Computer as the Control Element in a Surveillance and Control System

Control Systems Laboratory changed its name to Coordinated Science LaboratoryContract DA-36-039-SC-5669

Strictness Meets Data Flow

Abstract. Properties of programs can be formulated using various techniques: dataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness analysis (establishing when function parameters are evaluated in a lazy language) as a dataflow analysis, initially at first order, then at higher order by expressing the dataflow properties as an effect system. Strictness properties so expressed give a clearer operational understanding and enable a range of additional optimisations including implicational strictness. At first order strictness effects have the expected principality properties (best-property inference) and can be computed simply; without polymorphic effects principality is lost at higher order. However, adding both polymorphic effects and polymorphic type instantiation to restore principality exposes novel issues.