FeiginM08'

BibTeX

@inproceedings{DBLP:conf/pepm/FeiginM08,
  author    = {Boris Feigin and
               Alan Mycroft},
  title     = {Jones optimality and hardware virtualization: a report on
               work in progress},
  booktitle = {PEPM},
  year      = {2008},
  pages     = {169-175},
  ee        = {http://doi.acm.org/10.1145/1328408.1328433},
  crossref  = {DBLP:conf/pepm/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pepm/2008,
  editor    = {Robert Gl{\"u}ck and
               Oege de Moor},
  title     = {Proceedings of the 2008 ACM SIGPLAN Symposium on Partial
               Evaluation and Semantics-based Program Manipulation, PEPM
               2008, San Francisco, California, USA, January 7-8, 2008},
  booktitle = {PEPM},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-59593-977-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}