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