Program organization for the University of Illinois digital computer /

"August 10, 1954"

Experiments with an image processing computer : part 3: proposed technical program, October 1, 1970 to September 30, 1971 /

"C00-1018-1213"--Cover.

Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications : computer vision, speech and natural language processing, and artificial intelligence /

Cover title.

Revenue sharing : 1972-1986 : a plain-language explanation of the Revenue Sharing Program.

"April 1985."

Program Trixy : multi-group analysis of nuclear reactors in three space dimensions : for the IBM type 704 computer /

"Physics and Math. TID-4500 (15th Ed.)"--Title page.

HYMO : problem-oriented computer language for hydrologic modeling : users manual /

Bibliography: p. 53.

Speech and language development program, Milwaukee.

"One of a series of successful compensatory education programs."

ATTRITION : a BASIC language program for the IBM XT used to project attrition of sworn personnel /

"December 16, 1986."

Computer-aided programming using formally specificed design templates

This paper describes a formal component language, used to support automated component-based program development. The components, referred to as templates, are machine processable, meaning that appropriate tool support, such as retrieval support, can be developed. The templates are highly adaptable, meaning that they can be applied to a wide range of problems. Some of the main features of the language are described, including: higher-order parameters; state variable declarations; specification statements and conditionals; applicability conditions and theories; meta-level place holders; and abstract data structures.

Compilation by refinement for a practical assembly language

In this paper we extend the conventional framework of program refinement down to the assembler level. We describe an extension to the Refinement Calculus that supports the refinement of programs in the Guarded Command Language to programs in .NET assembler. This is illustrated by a small example.