Heap-Bounded Assembly Language. Aspinall, D. & Compagnoni, A. B. J. Autom. Reasoning (JAR), 31(3-4):261-302, 2003.
Heap-Bounded Assembly Language [link]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