PerryJW06'

@inproceedings{DBLP:conf/gpce/PerryJW06,
  author    = {Frances Perry and
               Limin Jia and
               David Walker},
  title     = {Expressing heap-shape contracts in linear logic},
  booktitle = {GPCE},
  year      = {2006},
  pages     = {101-110},
  ee        = {http://doi.acm.org/10.1145/1173706.1173723},
  crossref  = {DBLP:conf/gpce/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/gpce/2006,
  editor    = {Stan Jarzabek and
               Douglas C. Schmidt and
               Todd L. Veldhuizen},
  title     = {Generative Programming and Component Engineering, 5th International
               Conference, GPCE 2006, Portland, Oregon, USA, October 22-26,
               2006, Proceedings},
  booktitle = {GPCE},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-237-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}