A Domain-Specific Language for Generating Dataflow Analyzers. - Jia Zeng; Chuck Mitchell; Stephen A. Edwards (LDTA@ETAPS, 2006)