Arity raiser and use in program specialization
Proceedings of the third European symposium on programming on ESOP '90
Separating binding times in language specifications
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Binding Time Analysis for Polymorphically Typed Higher Order Languages
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Eliminating Dead Code on Recursive Data
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Eliminating dead code on recursive data
Science of Computer Programming - Special issue on static analysis (SAS'99)
Hi-index | 0.00 |