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."

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.

Optimum network design using NOR-OR gates by integer programming.

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

VIPTRAN2 : an improved programming language and its compiler for process control equations /

Mode of access: Internet.

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"

Show-and-Tell; an interactive programming system for image processing.

Includes bibliographical references.

MIMIC programming manual /

Photocopy of typescript. Springfield, Va.: Reproduced by National Technical Information Service, [1975?] -- 28 cm.

Simulation system programming design manual /

"Contract no. N61339-1089."

Specifications and test methods for numeric accuracy in programming language standards /

Item 247.

Computer model documentation guide /

Item 247.

A testbed for providing uniformity to user-computer interaction languages /

"Issued August 1980."

The design of an economically viable large-scale computer based education system /

"February, 1969"