ColbyLNBPC00'

BibTeX

@inproceedings{DBLP:conf/pldi/ColbyLNBPC00,
  author    = {Christopher Colby and
               Peter Lee and
               George C. Necula and
               Fred Blau and
               Mark Plesko and
               Kenneth Cline},
  title     = {A certifying compiler for Java},
  booktitle = {PLDI},
  year      = {2000},
  pages     = {95-107},
  ee        = {http://doi.acm.org/10.1145/349299.349315},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}