BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
M.A.Harrison S.L.Graham
Talks about:
pars (2) determinist (1) program (1) product (1) correct (1) versus (1) strict (1) prefix (1) prove (1) test (1)

Person: Matthew M. Geller

DBLP DBLP: Geller:Matthew_M=

Contributed to:

POPL 19761976
ICALP 19741974
POPL 19731973

Wrote 3 papers:

POPL-1976-Geller #correctness #proving #testing
Test Data as an Aid in Proving Program Correctness (MMG), pp. 209–218.
ICALP-1974-GellerGH #parsing
Production Prefix Parsing (MMG, SLG, MAH), pp. 232–241.
POPL-1973-GellerH #lr #parsing #strict
Strict Deterministic Versus LR(0) Parsing (MMG, MAH), pp. 22–32.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.