Filters








6 Hits in 1.7 sec

The pointer assertion logic engine

Anders Møller, Michael I. Schwartzbach
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI &#39;01</a> </i> &nbsp;
PLDI 2001 6/01 Snowbird, Utah, USA © 2001 ACM ISBN 1-58113-414-2/01106.-$5.00 ( progvar ; )* stm } )?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378851">doi:10.1145/378795.378851</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/MollerS01.html">dblp:conf/pldi/MollerS01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bgskq4gmnbdn7fjnxqf2d7xycu">fatcat:bgskq4gmnbdn7fjnxqf2d7xycu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170107002725/https://courses.cis.cornell.edu/courses/cs711/2005fa/papers/ms-pldi01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/95/ad/95ad464c5f10352d3a01d731be88d51d29e01360.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378851"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Timestamped whole program path representation and its applications

Youtao Zhang, Rajiv Gupta
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI &#39;01</a> </i> &nbsp;
PLDI 2001 6/01 Snowbird, Utah, USA  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378835">doi:10.1145/378795.378835</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/ZhangG01.html">dblp:conf/pldi/ZhangG01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z4rybzte3bfkfhgw2aorvltuae">fatcat:z4rybzte3bfkfhgw2aorvltuae</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060913213454/http://www.ece.neu.edu/~smolloy/adiproj/tech-docs/profiling/Zhang_Timestamped_program_path_represent_apps.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dd/66/dd660c1d2459e0e0e06a222fe599ad19276f8ee7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378835"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI &#39;01</a> </i> &nbsp;
PLDI 2001 , 2001 Snowbird, Utah, USA.  ...  Copyright 2001 ACM 0-89791-88-6/97/05...$5.00 Figure 1 : 1 (a) List partition example; (b) The boolean program of the list partition example, abstracted with respect to the set of input predicates {  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378846">doi:10.1145/378795.378846</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/BallMMR01.html">dblp:conf/pldi/BallMMR01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pswjhix5kra7hh56ejcial2sra">fatcat:pswjhix5kra7hh56ejcial2sra</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170131215245/http://drona.csa.iisc.ac.in:80/~deepakd/tpa-2016/C2BP.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f8/0e/f80e7d64e8456c2382279b6a48a6c63007002ee1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378846"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The pointer assertion logic engine

Anders Møller, Michael I. Schwartzbach
<span title="2001-05-01">2001</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
PLDI 2001 6/01 Snowbird, Utah, USA © 2001 ACM ISBN 1-58113-414-2/01106.-$5.00 ( progvar ; )* stm } )?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/381694.378851">doi:10.1145/381694.378851</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yxxqyacbfvcw7m3ibx6aqikdsa">fatcat:yxxqyacbfvcw7m3ibx6aqikdsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170107002725/https://courses.cis.cornell.edu/courses/cs711/2005fa/papers/ms-pldi01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/95/ad/95ad464c5f10352d3a01d731be88d51d29e01360.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/381694.378851"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani
<span title="2001-05-01">2001</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
PLDI 2001 , 2001 Snowbird, Utah, USA.  ...  Copyright 2001 ACM 0-89791-88-6/97/05...$5.00 Figure 1 : 1 (a) List partition example; (b) The boolean program of the list partition example, abstracted with respect to the set of input predicates {  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/381694.378846">doi:10.1145/381694.378846</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dccnganv7bdqpl72uraf4l4buy">fatcat:dccnganv7bdqpl72uraf4l4buy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170131215245/http://drona.csa.iisc.ac.in:80/~deepakd/tpa-2016/C2BP.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f8/0e/f80e7d64e8456c2382279b6a48a6c63007002ee1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/381694.378846"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani
<span title="2012-03-18">2012</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
PLDI 2001 , 2001 Snowbird, Utah, USA.  ...  Copyright 2001 ACM 0-89791-88-6/97/05...$5.00 Figure 1 : 1 (a) List partition example; (b) The boolean program of the list partition example, abstracted with respect to the set of input predicates {  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2442776.2442783">doi:10.1145/2442776.2442783</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/odw5ibnlkfcctgkrj2bc3lhovy">fatcat:odw5ibnlkfcctgkrj2bc3lhovy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170131215245/http://drona.csa.iisc.ac.in:80/~deepakd/tpa-2016/C2BP.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f8/0e/f80e7d64e8456c2382279b6a48a6c63007002ee1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2442776.2442783"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>