SJ10b

Pascal Sotin, Bertrand Jeannet, Xavier Rival. Concrete Memory Models for Shape Analysis. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010, ENTCS, Volume 267, Pages 139-150, 2010.

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@InProceedings{SJ10b,
   Author = {Sotin, Pascal and Jeannet, Bertrand and Rival, Xavier},
   Title = {Concrete Memory Models for Shape Analysis},
   BookTitle = {Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010},
   Volume = {267},
   Number = {1},
   Pages = {139--150},
   Series = {ENTCS},
   Publisher = {Elsevier},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)