Communications of the ACM
A generalized technique for symbol manipulation and numerical calculation
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Automatic-programming-language translation through syntactical analysis
Communications of the ACM
The AED approach to generalized computer-aided design
ACM '67 Proceedings of the 1967 22nd national conference
A finite machine description of a lexical analysis using table look-up
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A formal model and specification language for procedure calling conventions
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the use of regular expressions for searching text
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient string matching: an aid to bibliographic search
Communications of the ACM
From Bidirectionality to Alternation
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
From bidirectionality to alternation
Theoretical Computer Science - Mathematical foundations of computer science
Design of a microprogrammed lexical microprocessor
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Program control via transition matrices—a novel application of micro-programming
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
IEEE Transactions on Software Engineering
Denotational semantics for "natural" language question-answering programs
Computational Linguistics
Constructing a finite automaton for a given regular expression
ACM SIGACT News
Program control via transition matrices: a novel application of micro-programming
ACM SIGMICRO Newsletter
PL/C: the design of a high-performance compiler for PL/I
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
Microtext: the design of a microprogrammed finite state search machine for full-text retrieval
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Conditions for avoiding controllability problems in distributed testing
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
| Hi-index | 48.23 |