Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard. Modular pluggable analyses for data structure consistency. In Monterey Workshop on Software Engineering Tools: Compatibility and Integration, Vienna, Austria, October 2004. Superseded by [?].

[ bib ] Back