Design and implementation of the language PILOT/360 /

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

The WEB system : part II a formal description of the WEB input language /

"Supported in part by Contract AT(11-1)-1018 with the U.S. Atomic Energy Commission and the Advanced Research Projects Agency."

A semi-virtual memory multi-programming system for the mini-computer PDP 8/3 (ILLIAC-3) /

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

An approach to the compilation of array expressions in the OL/2 language.

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

The concept of time in programming languages.

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

A universal language for continuous network simulation /

Typescript.

TESLA : a control language for logic simulations of digital circuits /

"August 8, 1969."

Design of optimal one-bit adder networks by integer linear programming /

"July 15, 1971."

A study of the effect of additional inequalities in integer programming for logical design.

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

Synthesis of optimal networks with NOR and NAND gates by integer programming /

"January 18, 1971."

Use of macros in backtrack programming /

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

A class of algorithms for automatic evaluation of certain elementary functions in a binary computer.

"Supported in part...under Grant No. US NSF GJ812 and Grant No. US NSF GJ813."

Implementation of the language CLEOPATRA : the analysis pass /

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

The PAX II picture processing system at the University of Illinois, programming manual;

"C00-1018-1174."

Dynamic partitioning in the array language OL/2 /

"January, 1971."