Design, implementation and evaluation of the FNC-2 attribute grammar system
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Table compression for tree automata
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automating the re-declaration of unneeded globals as private
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Source-to-source translation of visual languages
Nordic Journal of Computing
Universal Regular Path Queries
Higher-Order and Symbolic Computation
Imperative Program Transformation by Rewriting
CC '01 Proceedings of the 10th International Conference on Compiler Construction
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Program transformations using temporal logic side conditions
ACM Transactions on Programming Languages and Systems (TOPLAS)
An appreciation of the work of Reinhard Wilhelm
Program analysis and compilation, theory and practice
Hi-index | 0.00 |