Matthew M. Geller

Available identifiers

zbMath Open geller.matthew-mMaRDI QIDQ1238424

List of research outcomes

Publication	Date of Publication	Type
Test data as an aid in proving program correctness	1978-01-01	Paper
Economy of description by parsers, DPDA's, and PDA's	1977-01-01	Paper
On LR(k) grammars and languages	1977-01-01	Paper
Characteristic parsing: A framework for producing compact deterministic parsers. II	1977-01-01	Paper
Normal forms of deterministic grammars	1977-01-01	Paper
Characteristic parsing: A framework for producing compact deterministic parsers. I	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4069799	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4094427	1973-01-01	Paper

Research outcomes over time

This page was built for person: Matthew M. Geller