151
click to vote
OOPSLA
2007
Springer
16 years 10 days ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...