A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://courses.cis.cornell.edu/courses/cs711/2005fa/papers/ms-pldi01.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
The pointer assertion logic engine
<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 '01</a>
</i>
Preserved Fulltext
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
<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 '01</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit <a rel="external noopener" href="http://www.ece.neu.edu/~smolloy/adiproj/tech-docs/profiling/Zhang_Timestamped_program_path_represent_apps.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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 '01</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://drona.csa.iisc.ac.in:80/~deepakd/tpa-2016/C2BP.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://courses.cis.cornell.edu/courses/cs711/2005fa/papers/ms-pldi01.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://drona.csa.iisc.ac.in:80/~deepakd/tpa-2016/C2BP.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://drona.csa.iisc.ac.in:80/~deepakd/tpa-2016/C2BP.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
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>