@article{zeng_mitchell_edwards_2006, 
  title={A Domain-Specific Language for Generating Dataflow Analyzers}, 
  volume={164}, 
  DOI={10.1016/j.entcs.2006.10.008}, 
  publisher={Elsevier BV}, 
  author={Zeng and Mitchell and Edwards}, 
  year={2006}
  }