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.

Probabilistic languages and automata.

Vita.

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.

An algebraic definition of Knuthian semantics /

"Contract no. E(04-3)-34, PA 214."

On the covering problem for unambiguous context-free grammars /

"UIUCDCS-R-74-624"

LINGOL, a readable formalism for programming language semantics /

"UILU-ENG 77 1766."

A comparative discussion of variable-valued logic and grammatical inference /

Bibliography: p. 45-46.

On the strong covering problem for LR(k) grammars /

"UIUCDCS-R-74-625"

A formal definition of the SIBYL programming languages /

"UILU-ENG 77 1710."

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

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

Vita.