An Algorithm for Translating Boolean Expressions
Journal of the ACM (JACM)
On The Ambiguity Problem of Backus Systems
Journal of the ACM (JACM)
A Translator-Oriented Symbolic Programming Language
Journal of the ACM (JACM)
A syntax directed compiler for ALGOL 60
Communications of the ACM
Compiling techniques for Boolean expressions and conditional statements in ALGOL 60
Communications of the ACM
Arithmetizing declarations: an application to COBOL
Communications of the ACM
Handling identifies as internal symbols in language processors
Communications of the ACM
OPG: an optimizing parser generator
ACM SIGPLAN Notices
Rendezvous Facilities: Concurrent C and the Ada Language
IEEE Transactions on Software Engineering
Human-computer interface development: concepts and systems for its management
ACM Computing Surveys (CSUR)
A bibliography on syntax error handling in context free languages
ACM SIGPLAN Notices
Synthesis and simulation of digital systems containing interacting hardware and software components
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A multitasking executive for operating systems courses
ACM SIGOPS Operating Systems Review
Problem specification with action machines
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Adaptive automata for context-dependent languages
ACM SIGPLAN Notices
ACM SIGSOFT Software Engineering Notes
Rapid prototyping of microprocessor-based systems
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Avoiding packaging mismatch with flexible packaging
Proceedings of the 21st international conference on Software engineering
A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
Journal of the ACM (JACM)
A Formalization of Transition Diagram Systems
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
A Coroutine Approach to Parsing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Referencing and Retention in Block-Structured Coroutines
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Introduction to S/SL: Syntax/Semantic Language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
Using formal specifications in the design of a human-computer interface
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communicating sequential processes
Communications of the ACM
The design and implementation of a table driven, interactive diagnostic programming system
Communications of the ACM
Syntax-directed least-errors analysis for context-free languages: a practical approach
Communications of the ACM
Deterministic parsing of ambiguous grammars
Communications of the ACM
An overview of the ISPL computer systems design
Communications of the ACM
Design and implementation of a diagnostic compiler for PL/I
Communications of the ACM
Communications of the ACM
Transition network grammars for natural language analysis
Communications of the ACM
The role of programming 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
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
A system organization for resource allocation
Communications of the ACM
Automatic generation of efficient lexical processors using finite state techniques
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Syntax macros and extended translation
Communications of the ACM
Avoiding Packaging Mismatch with Flexible Packaging
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Deterministic parsing of ambiguous grammars
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Synthesis and simulation of digital systems containing interacting hardware and software components
Readings in hardware/software co-design
JMatch: Iterable Abstract Pattern Matching for Java
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Communicating sequential processes
The origin of concurrent programming
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Executable specifications for a human-computer interface
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Using formal specifications in the design of a human-computer interface
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
User Software Engineering and the design of interactive systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Hierarchical coroutines a mechanism for improved program structure
ICSE '79 Proceedings of the 4th international conference on Software engineering
Control structure aptness: A case study using top-down parsing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Intercalation theorems for tree transducer languages
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Edge-labeled directed graphs in APL
APL '75 Proceedings of seventh international conference on APL
ACM '78 Proceedings of the 1978 annual conference
On the locus of program flow within and among secondary functions
APL '79 Proceedings of the international conference on APL: part 1
A minisystem programming language
ACM '73 Proceedings of the ACM annual conference
The specification of program flow in Madcap 6
ACM '72 Proceedings of the ACM annual conference - Volume 2
The AED approach to generalized computer-aided design
ACM '67 Proceedings of the 1967 22nd national conference
Semantic charts: A diagrammatic approach to semantic processing
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
The use of transition matrices in a recursive-descent compiler
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
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
Data-driven implementation of data flow diagrams
ICSE '82 Proceedings of the 6th international conference on Software engineering
Conversational systems programming by incremental extension of system configuration
Proceedings of the international symposium on Extensible languages
ACM SIGPLAN history of programming languages conference SIMULA language summary
ACM SIGPLAN Notices - Special issue: History of programming languages conference
The evaluation, classification and interpretation of expressions
ACM '64 Proceedings of the 1964 19th ACM national conference
META II a syntax-oriented compiler writing language
ACM '64 Proceedings of the 1964 19th ACM national conference
Inscan: A syntax-directed language processor
ACM '68 Proceedings of the 1968 23rd ACM national conference
Task decomposition testing and metrics for concurrent programs
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Software pioneers
Towards a novel string processing language
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Mathematical overkill and the structure theorem
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
A program simulator by partial interpretation
SOSP '69 Proceedings of the second symposium on Operating systems principles
Progress: a programming language for real-time systems
ACM SIGPLAN Notices
A systems programming language for minicomputers
ACM SIGPLAN Notices - Abstracts in programming language-related research
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
The specification of program flow in Madcap 6
ACM SIGPLAN Notices - Special issue on control structures in programming languages
ACM SIGPLAN Notices
Multi-sequential execution in the BETA programming language
ACM SIGPLAN Notices
Rapid prototyping of interactive information systems
Proceedings of the workshop on Rapid prototyping
Providing time- and space- efficient procedure calls for asynchronous software thread integration
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
The early history of Smalltalk
History of programming languages---II
ALGOL Bulletin
Supporting Demanding Hard-Real-Time Systems with STI
IEEE Transactions on Computers
Balancing register pressure and context-switching delays in ASTI systems
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
User-accessible data structures in information retrieval
ACM SIGIR Forum
Modular verification of assembly code with stack-based control abstractions
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
History of programming languages I
Program control via transition matrices: a novel application of micro-programming
ACM SIGMICRO Newsletter
Chapter III: Hierarchical program structures
Structured programming
Portable multithreading: the signal stack trick for user-space thread creation
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
ACM Turing award lectures
Record of the Project MAC conference on concurrent systems and parallel computation
Enforcing behavioral constraints in evolving aspect-oriented programs
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
A multiprocessor system design
AFIPS '63 (Fall) Proceedings of the November 12-14, 1963, fall joint computer conference
Remote computing--an experimental system: part 2: internal design
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
Control of sequence and parallelism in modular programs
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
Design highlights of CABAL: a compiler-compiler
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
PORTS: a method for dynamic interprogram communication and job control
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
Specification and implementations of interactive information systems
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Implementation and application of a function data type
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
A language-independent programmer's interface
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
The VALI (Variable Language Interpreter)
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Two WAM Implementations of Action Rules
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Towards a Taxonomy for ECFG and RRPG Parsing
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
IBM Journal of Research and Development
IBM Systems Journal
Intercalation lemmas for tree transducer languages
Journal of Computer and System Sciences
A higher-order extension for imperative synchronous languages
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Efficient coroutines for the Java platform
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Separate compilation and execution of imperative synchronous modules
Proceedings of the Conference on Design, Automation and Test in Europe
Towards deriving type systems and implementations for coroutines
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
A practical method for the implementation of syntactic parsers
ICAI'05/MCBC'05/AMTA'05/MCBE'05 Proceedings of the 6th WSEAS international conference on Automation & information, and 6th WSEAS international conference on mathematics and computers in biology and chemistry, and 6th WSEAS international conference on acoustics and music: theory and applications, and 6th WSEAS international conference on Mathematics and computers in business and economics
A new method for dependent parsing
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
Theory and Practice of Logic Programming - Prolog Systems
LCPC'09 Proceedings of the 22nd international conference on Languages and Compilers for Parallel Computing
An implementation of generators in C
Computer Languages
Recent developments in the theory of data structures
Computer Languages
Parallel programming: An axiomatic approach
Computer Languages
CONCURRIT: testing concurrent programs with programmable state-space exploration
HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
Socio-PLT: principles for programming language adoption
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Interruptible context-dependent executions: a fresh look at programming context-aware applications
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Compiler support for lightweight context switching
ACM Transactions on Architecture and Code Optimization (TACO) - Special Issue on High-Performance Embedded Architectures and Compilers
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
A compound OpenMP/MPI program development toolkit for hybrid CPU/GPU clusters
The Journal of Supercomputing
| Hi-index | 48.53 |