@conference {82,
	title = {DataFAN: A Practical Approach to Data Flow Analysis for Ada 95},
	booktitle = {Reliable Software Technologies {\textemdash} Ada-Europe 2002},
	volume = {2361},
	year = {2002},
	pages = {231 - 244},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	edition = {Lecture Notes in Computer Science},
	address = {Vienna, Austria},
	abstract = {Safety-   and   mission-critical   software  requires  developing  high-
quality,  reliable  code.  Static  analysis  tools have been proposed to
assist  developers  in  the  early  detection  of  critical  errors  and
achieving  a  better  code  quality.  In this paper, we present a set of
practical  requirements  for the industrial use of such tools and report
on  the  development  of  DataFAN,  a data-flow analysis tool satisfying
these requirements.},
	isbn = {978-3-540-43784-0},
	doi = {10.1007/3-540-48046-3_18},
	url = {http://www.springerlink.com/content/f86h2pyb16l7dp97/fulltext.pdf},
	author = {Krzysztof Czarnecki and Himsolt, Michael and Richter, Ernst},
	editor = {Blieberger, Johann and Strohmeier, Alfred}
}