The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
The Cellar Principle of State Transition and Storage Allocation
IEEE Annals of the History of Computing - Special issue on the history of computing in France—machines
The translation power of top-down tree-to-graph transducers
Journal of Computer and System Sciences
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Modularity and information content classes in principle-based parsing
Computational Linguistics
Syntactic Analysis and Operator Precedence
Journal of the ACM (JACM)
A Programming Language for Simulating Digital Systems
Journal of the ACM (JACM)
On the Syntax of Algorithmic Languages
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Initial Algebra Semantics and Continuous Algebras
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)
The use of grammatical inference for designing programming languages
Communications of the ACM
Experience with an extensible language
Communications of the ACM
Information science in a Ph.D. computer science program
Communications of the ACM
Communications of the ACM
APAREL—A parse-request language
Communications of the ACM
“Structural connections” in formal languages
Communications of the ACM
FORTRAN IV as a syntax language
Communications of the ACM
On introducing digital computing
Communications of the ACM
On the relative efficiencies of context-free grammar
Communications of the ACM
Metalanguage and syntax specification
Communications of the ACM
The structure of yet another ALGOL compiler
Communications of the ACM
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
Arithmetizing declarations: an application to COBOL
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Translation of retrieval requests couched in a “semiformal” English-like language
Communications of the ACM
Automatic-programming-language translation through syntactical analysis
Communications of the ACM
Debugging systems at the source language level
Communications of the ACM
A syntax controlled generator of formal language processors
Communications of the ACM
Report on the algorithmic language FORTRAN II
Communications of the ACM
An error-correcting parse algorithm
Communications of the ACM
Syntactic analysis by digital computer
Communications of the ACM
Learnability of Translations from Positive Examples
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Attributed translations(Extended Abstract)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Translations on a context free grammar
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Transformations and translations from the point of view of generalized finite automata theory
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
A syntax-oriented formal system for defining processes
ACM '73 Proceedings of the ACM annual conference
ACM '67 Proceedings of the 1967 22nd national conference
Programming languages for non-numeric processing—2: An introduction to the COGENT programming system
ACM '65 Proceedings of the 1965 20th national conference
Artificial languages: Computers, connector systems, and data descriptions
ACM '62 Proceedings of the 1962 ACM national conference on Digest of technical papers
The design of the Cambridge algebra system
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On the use of syntax-based translators for symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The European side of the last phase of the development of ALGOL 60
ACM SIGPLAN Notices - Special issue: History of programming languages conference
ACM SIGPLAN Notices - Special issue: History of programming languages conference
A definition of the cobol procedure division using algol metalinguistics
ACM '61 Proceedings of the 1961 16th ACM national meeting
The construction of recognizers
ACM '66 Proceedings of the 1966 21st national conference
A pedagogical model for top-down syntax analysis
ACM SIGCSE Bulletin
A parsing algorithm that extends phrases
Computational Linguistics
Data structure models for programming languages
ACM SIGPLAN Notices
ACM Transactions on Programming Languages and Systems (TOPLAS)
The European side of the last phase of the development of ALGOL 60
History of programming languages I
History of programming languages I
CL research's knowledge management system
ACLdemo '05 Proceedings of the ACL 2005 on Interactive poster and demonstration sessions
Efficient algorithms for richer formalisms: parsing and machine translation
NAACL-DocConsortium '06 Proceedings of the 2006 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology: companion volume: doctoral consortium
Incomparability results for classes of polynomial tree series transformations
Journal of Automata, Languages and Combinatorics
AFIPS '61 (Eastern) Proceedings of the December 12-14, 1961, eastern joint computer conference: computers - key to total systems control
Universal programming languages and processors: a brief survey and new concepts
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
XPOP: a meta-language without metaphysics
AFIPS '64 (Fall, part I) Proceedings of the October 27-29, 1964, fall joint computer conference, part I
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
A general-purpose table-driven compiler
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
A processor-building system for experimental programming languages
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
Compiler generation using formal specification of procedure-oriented and machine languages
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
The design and implementation of a table driven compiler system
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
A formal system for the specification of the syntax and translation of computer languages
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
A system for designing fast programming language translators
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
A translation grammar for ALGOL 68
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
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
Pebble Macro Tree Transducers with Strong Pebble Handling
Fundamenta Informaticae
Circularity, composition, and decomposition results for pebble macro tree transducers
Journal of Automata, Languages and Combinatorics
CAMAL 40 Years on --- Is Small Still Beautiful?
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms -- Revisited
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Defining syntax-directed translations by tree bimorphisms
Theoretical Computer Science
A syntax-directed translator with extended domain of locality
CHSLP '06 Proceedings of the Workshop on Computationally Hard Problems and Joint Inference in Speech and Language Processing
On natural language based computer systems
IBM Journal of Research and Development
Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Sciences: an International Journal
Syntax directed translations and the pushdown assembler
Journal of Computer and System Sciences
Properties of syntax directed translations
Journal of Computer and System Sciences
Journal of Computer and System Sciences
Generalized2 sequential machine maps
Journal of Computer and System Sciences
Syntax-directed translations and quasi-alphabetic tree bimorphisms
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Compositional semantics for the procedural interpretation of logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Does o-substitution preserve recognizability?
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Pebble Macro Tree Transducers with Strong Pebble Handling
Fundamenta Informaticae
| Hi-index | 48.57 |