2 works on record
Static Analysis
Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation