- Noncanonical SLR(1) Grammars Kou-Chung Tai Fri 02 March 2012
- How to share a secret Adi Shamir Fri 02 March 2012
- Shifting garbage collection overhead to compile time Jeffrey M. Barth Fri 02 March 2012
- Verifying properties of parallel programs Susan Owicki David Gries Fri 02 March 2012
- An abstract Monte-Carlo method for the analysis of probabilistic programs David Monniaux Fri 02 March 2012
- Symbolic execution and program testing James C. King Fri 02 March 2012
- Deterministic parsing of ambiguous grammars A. V. Aho S. C. Johnson J. D. Ullman Fri 02 March 2012
- On the complexity of LR(k) testing Harry B. Hunt Thomas G. Szymanski Jeffrey D. Ullman Fri 02 March 2012
- An efficient context-free parsing algorithm Jay Earley Fri 02 March 2012
- Proof of a program C. A. R. Hoare Fri 02 March 2012
- Simple LR(k) grammars Franklin L. DeRemer Fri 02 March 2012
- A note on reliable full-duplex transmission over half-duplex links K. A. Bartlett R. A. Scantlebury P. T. Wilkinson Fri 02 March 2012
- Programming Techniques: Regular expression search algorithm Ken Thompson Fri 02 March 2012
- Correspondence between ALGOL 60 and Churchtextquotesingles Lambda-notation P. J. Landin Fri 02 March 2012
- On the relative efficiencies of context-free grammar T. V. Griffiths S. R. Petrick Fri 02 March 2012
- The predictive analyzer and a path elimination technique Susumu Kuno Fri 02 March 2012
- EULER: A generalization of ALGOL and its formal definition: Part 1 Niklaus Wirth Helmut Weber Fri 02 March 2012
- A syntax directed compiler for ALGOL 60 Edgar T. Irons Fri 02 March 2012
- Revised report on the algorithm language ALGOL 60 J. W. Backus F. L. Bauer J. Green C. Katz J. McCarthy A. J. Perlis H. Rutishauser K. Samelson B. Vauquois J. H. Wegstein A. van Wijngaarden M. Woodger Fri 02 March 2012
- Design of a separable transition-diagram compiler Melvin E. Conway Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
