Program developments: formal explanations of implementations
Communications of the ACM
Symbolic program analysis in almost linear time
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Symbolic evaluation and the global value graph
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An architectural alternative to optimizing compilers
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Strategies for data abstraction in LISP
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Node listings for reducible flow graphs
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
ACM '78 Proceedings of the 1978 annual conference
An optimizing compiler for lexically scoped LISP
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
An interactive high-level debugger for control-flow optimized programs (Summary)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Program improvement by source to source transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
A generative nested-sequential basis for general-purpose programming languages
ACM SIGPLAN Notices - Abstracts in programming language-related research
IBM Journal of Research and Development
Use-definition chains with applications
Computer Languages
Hi-index | 0.02 |