@article{ dblp3894251,
  title = {Heap-Bounded Assembly Language},
  author = {David Aspinall and Adriana B. Compagnoni},
  author_short = {Aspinall, D. and Compagnoni, A. B.},
  bibtype = {article},
  type = {article},
  year = {2003},
  key = {dblp3894251},
  id = {dblp3894251},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jar/AspinallC03},
  url = {http://dx.doi.org/10.1023/B:JARS.0000021014.79255.33},
  journal = {J. Autom. Reasoning (JAR)},
  pages = {261-302},
  number = {3-4},
  volume = {31},
  text = {J. Autom. Reasoning (JAR) 31(3-4):261-302 (2003)}
}

{"_id":{"_str":"5277dc255e011a4c4b00017a"},"__v":9,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Aspinall, D.","Compagnoni, A. B."],"bibbaseid":"aspinall-compagnoni-heapboundedassemblylanguage-2003","bibdata":{"title":"Heap-Bounded Assembly Language","author":["David Aspinall","Adriana B. Compagnoni"],"author_short":["Aspinall, D.","Compagnoni, A. B."],"bibtype":"article","type":"article","year":"2003","key":"dblp3894251","id":"dblp3894251","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/AspinallC03","url":"http://dx.doi.org/10.1023/B:JARS.0000021014.79255.33","journal":"J. Autom. Reasoning (JAR)","pages":"261-302","number":"3-4","volume":"31","text":"J. Autom. Reasoning (JAR) 31(3-4):261-302 (2003)","bibtex":"@article{ dblp3894251,\n title = {Heap-Bounded Assembly Language},\n author = {David Aspinall and Adriana B. Compagnoni},\n author_short = {Aspinall, D. and Compagnoni, A. B.},\n bibtype = {article},\n type = {article},\n year = {2003},\n key = {dblp3894251},\n id = {dblp3894251},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jar/AspinallC03},\n url = {http://dx.doi.org/10.1023/B:JARS.0000021014.79255.33},\n journal = {J. Autom. Reasoning (JAR)},\n pages = {261-302},\n number = {3-4},\n volume = {31},\n text = {J. Autom. Reasoning (JAR) 31(3-4):261-302 (2003)}\n}","bibbaseid":"aspinall-compagnoni-heapboundedassemblylanguage-2003","role":"author","urls":{"Paper":"http://dx.doi.org/10.1023/B:JARS.0000021014.79255.33"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/AspinallC03","downloads":0,"keywords":[],"search_terms":["heap","bounded","assembly","language","aspinall","compagnoni"],"title":"Heap-Bounded Assembly Language","year":2003,"dataSources":["kFrcKP87639cXYWYM"]}