Matthew M. Geller

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