The correctness of an optimized code generation
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Automatic generation and management of interprocedural program analyses
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Assessing the evaluation transformer model of reduction on the spineless G-machine
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Disjunctive program analysis for algebraic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient abstract interpretation using component-wise homomorphisms
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Context-sensitive rewriting strategies
Information and Computation
Higher Order Demand Propagation
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Removing redundant arguments automatically
Theory and Practice of Logic Programming
Safety of nöcker's strictness analysis
Journal of Functional Programming
| Hi-index | 0.00 |