Communicating sequential processes
Communications of the ACM
SP/k: a system for teaching computer programming
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
PASCAL user manual and report
ICSE '81 Proceedings of the 5th international conference on Software engineering
The Euclid Language: a progress report
ACM '78 Proceedings of the 1978 annual conference
Semantic charts: A diagrammatic approach to semantic processing
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Generating machine code for high-level programming languages
Generating machine code for high-level programming languages
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Formal languages and their relation to automata
Formal languages and their relation to automata
Data descriptors: a compile-time model of data and addressing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of a compiler for a semantic data model: Experiences with taxis
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
The Turing programming language
Communications of the ACM
TuringTool: A User Interface to Aid in the Software Maintenance Task
IEEE Transactions on Software Engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.02 |