@article{DBLP:journals/corr/abs-0707-4389,
  author    = {Andrew W. Appel and
               Sandrine Blazy},
  title     = {Separation Logic for Small-step Cminor},
  journal   = {CoRR},
  volume    = {abs/0707.4389},
  year      = {2007},
  url       = {http://arxiv.org/abs/0707.4389},
  archivePrefix = {arXiv},
  eprint    = {0707.4389},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0707-4389},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wF5S3Bcx9dJiewPAL","bibbaseid":"appel-blazy-separationlogicforsmallstepcminor-2007","downloads":0,"creationDate":"2019-02-19T13:31:04.758Z","title":"Separation Logic for Small-step Cminor","author_short":["Appel, A. W.","Blazy, S."],"year":2007,"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb2/b/Blazy:Sandrine.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Andrew","W."],"propositions":[],"lastnames":["Appel"],"suffixes":[]},{"firstnames":["Sandrine"],"propositions":[],"lastnames":["Blazy"],"suffixes":[]}],"title":"Separation Logic for Small-step Cminor","journal":"CoRR","volume":"abs/0707.4389","year":"2007","url":"http://arxiv.org/abs/0707.4389","archiveprefix":"arXiv","eprint":"0707.4389","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-0707-4389","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-0707-4389,\n author = {Andrew W. Appel and\n Sandrine Blazy},\n title = {Separation Logic for Small-step Cminor},\n journal = {CoRR},\n volume = {abs/0707.4389},\n year = {2007},\n url = {http://arxiv.org/abs/0707.4389},\n archivePrefix = {arXiv},\n eprint = {0707.4389},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-0707-4389},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Appel, A. W.","Blazy, S."],"key":"DBLP:journals/corr/abs-0707-4389","id":"DBLP:journals/corr/abs-0707-4389","bibbaseid":"appel-blazy-separationlogicforsmallstepcminor-2007","role":"author","urls":{"Paper":"http://arxiv.org/abs/0707.4389"},"downloads":0,"html":""},"search_terms":["separation","logic","small","step","cminor","appel","blazy"],"keywords":[],"authorIDs":[],"dataSources":["dFq2BpHTjvGdGdpXC"]}