Static analysis, abstract interpretation, programming languages, functional programming, control-flow analysis.
2009-11-23
2009-11-21