%0 Conference Paper %1 conf/aplas/NavasSSS12 %A Navas, Jorge A. %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %B APLAS %D 2012 %E Jhala, Ranjit %E Igarashi, Atsushi %I Springer %K dblp %P 115-130 %T Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2012.html#NavasSSS12 %V 7705 %@ 978-3-642-35181-5

@inproceedings{conf/aplas/NavasSSS12, added-at = {2018-11-14T00:00:00.000+0100}, author = {Navas, Jorge A. and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/286005a3c281b7809ef527988fae0c90b/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2012}, editor = {Jhala, Ranjit and Igarashi, Atsushi}, ee = {https://www.wikidata.org/entity/Q57665005}, interhash = {5fd2281b8619c03aab5385e4e3cda003}, intrahash = {86005a3c281b7809ef527988fae0c90b}, isbn = {978-3-642-35181-5}, keywords = {dblp}, pages = {115-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:41:42.000+0200}, title = {Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2012.html#NavasSSS12}, volume = 7705, year = 2012 }