21 research outputs found
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.