A practical and flexible flow analysis for higher-order languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular Static Program Analysis
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Control-flow analysis of functional programs
ACM Computing Surveys (CSUR)
Optimizing abstract abstract machines
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |