An algorithm for coding efficient arithmetic operations
Communications of the ACM
A syntax directed compiler for ALGOL 60
Communications of the ACM
Letters to the editor: ALGOL 60 comment
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
Early error detection in syntax-driven parsers
IBM Journal of Research and Development
A view of the origins and development of Prolog
Communications of the ACM
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Weak and Mixed Strategy Precedence Parsing
Journal of the ACM (JACM)
On the Covering and Reduction Problems for Context-Free Grammars
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Transforming LR(k) Grammars to LR(1), SLR(1), and (1,1) Bounded Right-Context Grammars
Journal of the ACM (JACM)
On the Tape Complexity of Deterministic Context-Free Languages
Journal of the ACM (JACM)
A Supernormal-Form Theorem for Context-Free Grammars
Journal of the ACM (JACM)
An Iteration Theorem for Simple Precedence Languages
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Operations on sparse relations
Communications of the ACM
The storage requirement in precedence parsing
Communications of the ACM
Deterministic parsing of ambiguous grammars
Communications of the ACM
A Boolean matrix method for the computation of linear precedence functions
Communications of the ACM
The use of grammatical inference for designing programming languages
Communications of the ACM
An algorithm for the construction of bounded-context parsers
Communications of the ACM
A language for treating graphs
Communications of the ACM
The role of programming in a Ph.D. computer science program
Communications of the ACM
Information science in a Ph.D. computer science program
Communications of the ACM
Use of transition matrices in compiling
Communications of the ACM
Communications of the ACM
A global parser for context-free phrase structure grammars
Communications of the ACM
DITRAN—a compiler emphasizing diagnostics
Communications of the ACM
Communications of the ACM
A new method for determining linear precedence functions for precedence grammars
Communications of the ACM
Bounded context syntactic analysis
Communications of the ACM
Programming Languages: Boolean matrix methods for the detection of simple precedence grammars
Communications of the ACM
On the relative efficiencies of context-free grammar
Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
An ALGOL compiler: construction and use in relation to an elaborate operating system
Communications of the ACM
Some techniques used in the ALCOR ILLINOIS 7090
Communications of the ACM
A final solution to the Dangling else of ALGOL 60 and related languages
Communications of the ACM
Deterministic parsing of ambiguous grammars
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Invited Talk: Pointwise Relational Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
APL two by two-syntax analysis by pairwise reduction
APL '84 Proceedings of the international conference on APL
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
A technique for speeding up LR(k) parsers
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
Domolki's algorithm applied to generalized overlap resolvable grammars
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Some properties of precedence languages
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
On the syntax and semantics of horizontal microprogramming languages
ACM '73 Proceedings of the ACM annual conference
Direct microprogrammed execution of the intermediate text from a high-level language compiler
ACM '73 Proceedings of the ACM annual conference
ACM '67 Proceedings of the 1967 22nd national conference
ACM '65 Proceedings of the 1965 20th national conference
IAM, a system for interactive algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
Direct microprogrammed execution of the intermediate text from a high-level language compiler
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
The construction of recognizers
ACM '66 Proceedings of the 1966 21st national conference
A translation machine with automated top-down parsing
ACM SIGPLAN Notices
Empirical comparison of LR(k) and precedence parsers
ACM SIGPLAN Notices
IEEE Annals of the History of Computing
On non-hierachical systems of binary operators
ACM SIGACT News
IBM Journal of Research and Development
Theory and Practice of Logic Programming
History of programming languages---II
Living it up with a live programming language
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
The introduction of definitional facilities into higher level programming languages
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
The XPL compiler generator system
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
On the basis for ELF: an extensible language facility
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
A system for designing fast programming language translators
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
An appraisal of compiler technology
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Applications of language theory to compiler design
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Science of Computer Programming
A method for the structural analysis of two-dimensional mathematical expressions
Information Sciences: an International Journal
LR-regular grammars-an extension of LR(k) grammars
Journal of Computer and System Sciences
Precedence automata and languages
CSR'11 Proceedings of the 6th international conference on Computer science: theory and applications
Parsing with derivatives: a functional pearl
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Operator precedence and the visibly pushdown property
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Operator precedence and the visibly pushdown property
Journal of Computer and System Sciences
Parallel parsing of operator precedence grammars
Information Processing Letters
| Hi-index | 0.37 |