CSMINI - applications of a mini programming system on PLATO IV /

"The work reported here was performed 1975/1976 while the author held a visiting appointment in the Department of Computer Science at the University of Illinois at Urbana Champaign. A part was added during another visit in summer 1978."

A generator/grader of problems about syntax of programming languages to be used in an automated exam system /

Thesis (M.S.)--University of Illinois at Urbana-Champaign.

An implementation of a system for the formal definition of programming languages /

Originally presented as the author's thesis, University of Illinois at Urbana-Champaign.

Synthesis of optimal double-rail logic networks using NOR-OR gates by integer programming.

"Supported in part by ... Grant no. NSF GJ-503."

The design, implementation, and analysis of a computer-assisted instruction system on a mini-computer,

Thesis (M.S.)--University of Illinois at Urbana-Champaign.

Experimental and formal language design applied to control constructs for interactive computing /

Vita.

Realization of the WEB language,

"COO-2118-0036."

The coder : a program module for code generation in high-level language compilers /

Originally presented as the author's thesis (M.S.), University of Illinois at Urbana-Champaign.

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.

An error analysis of solutions to sparse linear programming problems,

"Supported in part by the Advanced Research Projects Agency ... contract no. US AF 30(602) 4144."

Implicit enumeration algorithm of integer programming on Illiac IV,

Bibliography: p. 29.

Transportation of higher-level language programs: exemplified by an ALGOL 68 transportation representation /

Includes bibliographical references.

The design of NOR networks under fan-in and fan-out const[r]aints : a programming manual for FIFOTRAN-G1 /

"Report No. UIUCDCS-R-74-661"

The structure and design philosophy of OL/2, an array language,

Includes bibliographies.

TRANQUIL : a language for an array processing computer /

"April 1, 1969."