JS11

Bertrand Jeannet, Pascal Sotin. Inferring Effective Types for Static Analysis of C Programs. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2011, ENTCS, Venice (Italy), 2011.

Note on this paper

to appear

Contact

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

BibTex Reference

@InProceedings{JS11,
   Author = {Jeannet, Bertrand and Sotin, Pascal},
   Title = {Inferring Effective Types for Static Analysis of C Programs},
   BookTitle = {Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2011},
   Series = {ENTCS},
   Address = {Venice (Italy)},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)