@inproceedings{conf/plsa/CorneyG94,
  added-at = {2009-09-29T00:00:00.000+0200},
  author = {Corney, Diane and Gough, K. John},
  biburl = {http://www.bibsonomy.org/bibtex/29e7dfa423ad55ad13fd88e62522b239e/dblp},
  booktitle = {Programming Languages and System Architectures},
  crossref = {conf/plsa/1994},
  date = {2009-09-29},
  description = {dblp},
  editor = {Gutknecht, Jürg},
  ee = {http://dx.doi.org/10.1007/3-540-57840-4_29},
  interhash = {287a3d3793fdd16b766f74809e737388},
  intrahash = {9e7dfa423ad55ad13fd88e62522b239e},
  isbn = {3-540-57840-4},
  keywords = {dblp},
  pages = {137-150},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-09-29T00:00:00.000+0200},
  title = {Type Test Elimination Using Typeflow Analysis.},
  url = {http://dblp.uni-trier.de/db/conf/plsa/plsa1994.html#CorneyG94},
  volume = 782,
  year = 1994
}