Matthew M. Geller

Publication Activity (10 Years)

Years Active: 1973-1978
Publications (10 Years): 0

Publications

Matthew M. Geller
Test Data as an Aid in Proving Program Correctness. Commun. ACM 21 (5) (1978)
Matthew M. Geller, Michael A. Harrison
Grammars and Languages. Theor. Comput. Sci. 4 (3) (1977)
Matthew M. Geller, Michael A. Harrison
Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, II. J. Comput. Syst. Sci. 14 (3) (1977)
Matthew M. Geller, Michael A. Harrison
Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, I. J. Comput. Syst. Sci. 14 (3) (1977)
Matthew M. Geller, Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
Economy of Description by Parsers, DPDA'S, and PDA'S. Theor. Comput. Sci. 4 (2) (1977)
Matthew M. Geller, Michael A. Harrison, Ivan M. Havel
Normal forms of deterministic grammars. Discret. Math. 16 (4) (1976)
Matthew M. Geller
Test Data as an Aid in Proving Program Correctness. POPL (1976)
Matthew M. Geller, Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
Economy of Descriptions by Parsers, DPDA's, and PDA's FOCS (1975)
Matthew M. Geller, Susan L. Graham, Michael A. Harrison
Production Prefix Parsing (Extended Abstract). ICALP (1974)
Matthew M. Geller, Michael A. Harrison
Characterizations of LR(0) Languages (Extended Abstract) SWAT (1973)
Matthew M. Geller, Michael A. Harrison
Strict Deterministic Versus LR(0) Parsing. POPL (1973)