1978 |
10 | | Matthew M. Geller:
Test Data as an Aid in Proving Program Correctness.
Commun. ACM 21(5): 368-375 (1978) |
1977 |
9 | | Matthew M. Geller,
Michael A. Harrison:
Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, I.
J. Comput. Syst. Sci. 14(3): 265-317 (1977) |
8 | | Matthew M. Geller,
Michael A. Harrison:
Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, II.
J. Comput. Syst. Sci. 14(3): 318-343 (1977) |
7 | | 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): 143-153 (1977) |
6 | | Matthew M. Geller,
Michael A. Harrison:
On LR(k) Grammars and Languages.
Theor. Comput. Sci. 4(3): 245-276 (1977) |
1976 |
5 | | Matthew M. Geller:
Test Data as an Aid in Proving Program Correctness.
POPL 1976: 209-218 |
1975 |
4 | | 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: 122-127 |
1974 |
3 | | Matthew M. Geller,
Susan L. Graham,
Michael A. Harrison:
Production Prefix Parsing (Extended Abstract).
ICALP 1974: 232-241 |
1973 |
2 | | Matthew M. Geller,
Michael A. Harrison:
Characterizations of LR(0) Languages (Extended Abstract)
FOCS 1973: 103-108 |
1 | | Matthew M. Geller,
Michael A. Harrison:
Strict Deterministic Versus LR(0) Parsing.
POPL 1973: 22-32 |