Higher order escape analysis: optimizing stack allocation in functional program implementations
Proceedings of the third European symposium on programming on ESOP '90
Replacing function parameters by global variables
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
An adequate operational semantics of sharing in lazy evaluation
ESOP'92 Symposium proceedings on 4th European symposium on programming
A natural semantics for lazy evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A uniform treatment of order of evaluation and aggregate update
Theoretical Computer Science
Path analysis and the optimization of nonstrict functional languages
Path analysis and the optimization of nonstrict functional languages
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Hi-index | 0.00 |