Heap-Bounded Assembly Language. Aspinall, D. & Compagnoni, A. B. J. Autom. Reasoning (JAR), 31(3-4):261-302, 2003. Paper bibtex @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)}
}
Downloads: 0
{"_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"]}