A Descriptive Language for Symbol Manipulation
Journal of the ACM (JACM)
Syntactic Analysis and Operator Precedence
Journal of the ACM (JACM)
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
“Structural connections” in formal languages
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
Communications of the ACM
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Optimization of parser tables for portable compilers
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
PL360, a Programming Language for the 360 Computers
Journal of the ACM (JACM)
A Universal Syntax-Directed Top-Down Analyzer
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Weak and Mixed Strategy Precedence Parsing
Journal of the ACM (JACM)
An Algorithm for the Design of Simple Precedence Grammars
Journal of the ACM (JACM)
On the Covering and Reduction Problems for Context-Free Grammars
Journal of the ACM (JACM)
An Iteration Theorem for Simple Precedence Languages
Journal of the ACM (JACM)
A List Structure Form of Grammars for Syntactic Analysis
ACM Computing Surveys (CSUR)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
A technique for software module specification with examples
Communications of the ACM - Special 25th Anniversary Issue
Operations on sparse relations
Communications of the ACM
A improvement to Martin's algorithm for computation of linear precedence functions
Communications of the ACM
The equivalence of reducing transition languages and deterministic languages
Communications of the ACM
A technique for software module specification with examples
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
PDEL—a language for partial differential equations
Communications of the ACM
Syntax-directed documentation for PL360
Communications of the ACM
Communications of the ACM
A technique for generating almost optimal Floyd-Evans productions for precedence grammars
Communications of the ACM
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
A microprogrammed implementation of EULER on IBM system/360 model 30
Communications of the ACM
Programming Languages: Boolean matrix methods for the detection of simple precedence grammars
Communications of the ACM
Practical syntactic error recovery in compilers
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
The design of a system for the synthesis of correct microprograms
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
Domolki's algorithm applied to generalized overlap resolvable grammars
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
A result on the relationship between simple precedence languages and reducing transition languages
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
A language for the description of digital computer processors
DAC '68 Proceedings of the 5th annual Design Automation Workshop
Some properties of precedence languages
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
The specification of program flow in Madcap 6
ACM '72 Proceedings of the ACM annual conference - Volume 2
Dynamic memory management for APL-like languages
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
Reflections on a systems programming language
Proceedings of the SIGPLAN symposium on Languages for system implementation
An approach to compiler correctness
Proceedings of the international conference on Reliable software
SHAPESHIFTER: An interactive program for experimenting with complex-plane transformations
ACM '68 Proceedings of the 1968 23rd ACM national conference
The comparison of programming languages: A linguistic approach
ACM '68 Proceedings of the 1968 23rd ACM national conference
Empirical comparison of LR(k) and precedence parsers
ACM SIGPLAN Notices
Optimization using LR(k) techniques
ACM SIGPLAN Notices
Parsing by numbers and asparagus
ACM SIGPLAN Notices
The early history of Smalltalk
History of programming languages---II
A user's examination of the formula manipulation language - SYMBAL
ACM SIGSAM Bulletin
The contour model of block structured processes
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A Stochastic Syntax Analysis Procedure and Its Application to Pattern Classification
IEEE Transactions on Computers
Strum: Structured Microprogram Development System for Correct Firmware
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
The introduction of definitional facilities into higher level programming languages
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
SODAS and a methodology for system design
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Linguistic methods in picture processing: a survey
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
Some syntactic methods for specifying extendible programming languages
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
Applications of language theory to compiler design
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Derived semantics for some programming language constructs
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Information Sciences: an International Journal
Pair grammars, graph languages and string-to-graph translations
Journal of Computer and System Sciences
Generalized overlap resolvable grammars and their parsers
Journal of Computer and System Sciences
The formal definition of semantics by string automata
Computer Languages
Computer Languages
SESPOOL, a language for systems programming
Computer Languages
Survey: A survey of state vectors
Computer Science Review
Syntax-directed recognition of hand-printed two-dimensional mathematics
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
| Hi-index | 48.50 |