Automated development of software for program analysis and transformation
ACM SIGSOFT Software Engineering Notes
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Solving Regular Tree Grammar Based Constraints
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Stack allocation and synchronization optimizations for Java using escape analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transformational Derivation of an Improved Alias Analysis Algorithm
Higher-Order and Symbolic Computation
Hi-index | 0.00 |