According to our database1, David Pager authored at least 19 papers between 1962 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Full LR(1) parser generator Hyacc and study on the performance of LR(1) algorithms.
Proceedings of the Fourth International C* Conference on Computer Science & Software Engineering, 2011
The Impact of Direct Data Entry by Sensory Devices on EMR Systems.
Proceedings of the Foundations of Augmented Cognition, 2007
The design and implementation of an automatic computer-controlled infusion pump.
Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 1997
The lane-tracing algorithm for constructing LR (k) parsers and ways of enhancing its efficiency.
Inf. Sci., 1977
A Practical General Method for Constructing LR(k) Parsers.
Acta Inf., 1977
Eliminating Unit Productions from LR Parsers.
Acta Inf., 1977
Further Results on the Problem of Finding Minimal Length Programs for Decision Tables.
J. ACM, 1974
On Eliminating Unit Productions from LR(k) Parsers.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974
The Lane Tracing Algorithm for Constructing LR(k) Parsers
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973
Some Notes on Speeding Up Certain Loops by Software, Firmware, and Hardware Means.
IEEE Trans. Computers, 1972
A Proposal for a Computer-Based Interactive Scientific Community.
Commun. ACM, 1972
On Two-Way, Two-Tape Automata.
Mathematical Systems Theory, 1971
On the Problem of Communicating Complex Information.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 2, 1971
A Solution to an Open Problem by Knuth
Information and Control, December, 1970
On the Efficiency of Algorithms.
J. ACM, 1970
A number system for the permutations.
Commun. ACM, 1970
On the Problem of Finding Minimal Programs for Tables
Information and Control, June, 1969
The cognitive development of mathematics: spatial and timing measures associated with algorithms.
PhD thesis, 1967
An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates.
J. Symb. Log., 1962