@Bibtex-file{Compiler/absint.bib,
  title =        "Abstract Interpretation Bibliography",
  author =       "Mads Rosendahl",
  address =      "DIKU\\ Department of Computer Science\\ University of
                 Copenhagen\\ Universitetsparken 1\\ DK-2100
                 Copenhagen\\ Denmark",
  email =        "rose@diku.dk",
  supported =    "gone",
}