Automatically assigned DDC number: 005131
Manually assigned DDC number: 005131
Number of references: 16
Title: Interprocedural Pointer Alias Analysis
Author:
Author:
Author:
Author:
Subject: Michael Burke,Paul R. Carini,Jong-deok Choi,Michael Hind Interprocedural Pointer Alias Analysis
Description: This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties).
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1999-09-16
Pubyear: 1997
Format: ps
Identifier: http://citeseer.ist.psu.edu/326272.html
Source: http://www.research.ibm.com/people/h/hind/RC21055.ps
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/70967.html" Type="inproceedings" CiteSeer_Book="Conference Record of the Twentieth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects,">
<identifier Org="ISBN:0897916972" Paper_ID="/70967.html" Extracted="0897916972" />
<identifier Org="ISBN:1402065841" Paper_ID="/70967.html" Extracted="1402065841" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1581130740" Paper_ID="/70967.html" Extracted="1581130740" />
<identifier Org="ISBN:1581135882" Paper_ID="/70967.html" Extracted="1581135882" />
<identifier Org="ISBN:3540211993" Paper_ID="/70967.html" Extracted="3540211993" DDC="005.275" Normalized_DDC="005275" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540212973" Paper_ID="/70967.html" Extracted="3540212973" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354024297X" Paper_ID="/70967.html" Extracted="354024297X" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540285849" Paper_ID="/70967.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540307818" Paper_ID="/70967.html" Extracted="3540307818" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540428623" Paper_ID="/70967.html" Extracted="3540428623" DDC="005.453" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540610537" Paper_ID="/70967.html" Extracted="3540610537" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540617361" Paper_ID="/70967.html" Extracted="3540617361" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540627812" Paper_ID="/70967.html" Extracted="3540627812" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540650148" Paper_ID="/70967.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540660933" Paper_ID="/70967.html" Extracted="3540660933" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540669078" Paper_ID="/70967.html" Extracted="3540669078" DDC="004/.3" Normalized_DDC="0043" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540772197" Paper_ID="/70967.html" Extracted="3540772197" />
</rec>
<rec ID="/16483.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="16" Title="Static Slicing in the Presence of Goto Statements,">
<identifier Org="ISBN:0120121433" Paper_ID="/16483.html" Extracted="0120121433" />
<identifier Org="ISBN:012012162X" Paper_ID="/16483.html" Extracted="012012162X" />
<identifier Org="ISBN:0769518834" Paper_ID="/16483.html" Extracted="0769518834" />
<identifier Org="ISBN:0818672838" Paper_ID="/16483.html" Extracted="0818672838" />
<identifier Org="ISBN:081867993X" Paper_ID="/16483.html" Extracted="081867993X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:081868013X" Paper_ID="/16483.html" Extracted="081868013X" DDC="005.16" Normalized_DDC="00516" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:142004382X" Paper_ID="/16483.html" Extracted="142004382X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:1581136676" Paper_ID="/16483.html" Extracted="1581136676" DDC="005" Normalized_DDC="005" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540433538" Paper_ID="/16483.html" Extracted="3540433538" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:354058868X" Paper_ID="/16483.html" Extracted="354058868X" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540617396" Paper_ID="/16483.html" Extracted="3540617396" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/39180.html" Type="article" CiteSeer_Book="ACM SIGPLAN Notices" CiteSeer_Volume="29" Title="Interprocedural may-alias analysis for pointers: beyond $k$-limiting,">
<identifier Org="ISBN:3540208038" Paper_ID="/39180.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540227911" Paper_ID="/39180.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354024297X" Paper_ID="/39180.html" Extracted="354024297X" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540253335" Paper_ID="/39180.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540285849" Paper_ID="/39180.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540422064" Paper_ID="/39180.html" Extracted="3540422064" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540428623" Paper_ID="/39180.html" Extracted="3540428623" DDC="005.453" Normalized_DDC="005453" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540442359" Paper_ID="/39180.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354058868X" Paper_ID="/39180.html" Extracted="354058868X" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540610553" Paper_ID="/39180.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540617361" Paper_ID="/39180.html" Extracted="3540617361" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540617566" Paper_ID="/39180.html" Extracted="3540617566" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540625038" Paper_ID="/39180.html" Extracted="3540625038" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540647376" Paper_ID="/39180.html" Extracted="3540647376" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540650148" Paper_ID="/39180.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540672621" Paper_ID="/39180.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540676686" Paper_ID="/39180.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540697357" Paper_ID="/39180.html" Extracted="3540697357" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/471397.html" Type="inproceedings" CiteSeer_Book="Conference Record of the Twentieth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Complexity of Bidirectional Data Flow Analysis,">
<identifier Org="ISBN:084931240X" Paper_ID="/471397.html" Extracted="084931240X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.2" />
<identifier Org="ISBN:1558603204" Paper_ID="/471397.html" Extracted="1558603204" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540650148" Paper_ID="/471397.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540651233" Paper_ID="/471397.html" Extracted="3540651233" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540655107" Paper_ID="/471397.html" Extracted="3540655107" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.2" />
</rec>
<rec ID="/499928.html" Type="inproceedings" CiteSeer_Book="SIGPLAN Conference on Programming Language Design and Implementation" CiteSeer_Volume="" Title="Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers,">
<identifier Org="ISBN:081867993X" Paper_ID="/499928.html" Extracted="081867993X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1402009976" Paper_ID="/499928.html" Extracted="1402009976" DDC="355.6/213" Normalized_DDC="3556213" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1581130740" Paper_ID="/499928.html" Extracted="1581130740" />
<identifier Org="ISBN:1581135882" Paper_ID="/499928.html" Extracted="1581135882" />
<identifier Org="ISBN:3540307818" Paper_ID="/499928.html" Extracted="3540307818" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540423141" Paper_ID="/499928.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540424954" Paper_ID="/499928.html" Extracted="3540424954" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540428623" Paper_ID="/499928.html" Extracted="3540428623" DDC="005.453" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354060765X" Paper_ID="/499928.html" Extracted="354060765X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540610537" Paper_ID="/499928.html" Extracted="3540610537" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540610553" Paper_ID="/499928.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540650148" Paper_ID="/499928.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540665382" Paper_ID="/499928.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540676686" Paper_ID="/499928.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540691634" Paper_ID="/499928.html" Extracted="3540691634" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540725202" Paper_ID="/499928.html" Extracted="3540725202" />
<identifier Org="ISBN:3540787909" Paper_ID="/499928.html" Extracted="3540787909" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/278573.html" Type="inproceedings" CiteSeer_Book="Languages and Compilers for Parallel Computing" CiteSeer_Volume="" Title="Connection Analysis: A Practical Interprocedural Heap Analysis for C,">
<identifier Org="ISBN:0897919068" Paper_ID="/278573.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540403256" Paper_ID="/278573.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.2" />
<identifier Org="ISBN:354060765X" Paper_ID="/278573.html" Extracted="354060765X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540650148" Paper_ID="/278573.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540656995" Paper_ID="/278573.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540852603" Paper_ID="/278573.html" Extracted="3540852603" />
</rec>
<rec ID="/51536.html" Type="article" CiteSeer_Book="ACM Letters on Programming Languages and Systems" CiteSeer_Volume="1" Title="Efficient Call Graph Analysis,">
<identifier Org="ISBN:0805327304" Paper_ID="/51536.html" Extracted="0805327304" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.1" />
<identifier Org="ISBN:0849326184" Paper_ID="/51536.html" Extracted="0849326184" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.1" />
<identifier Org="ISBN:0897917073" Paper_ID="/51536.html" Extracted="0897917073" />
<identifier Org="ISBN:0897919084" Paper_ID="/51536.html" Extracted="0897919084" />
<identifier Org="ISBN:1402009976" Paper_ID="/51536.html" Extracted="1402009976" DDC="355.6/213" Normalized_DDC="3556213" Normalized_Weight="0.1" />
<identifier Org="ISBN:354040435X" Paper_ID="/51536.html" Extracted="354040435X" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540430431" Paper_ID="/51536.html" Extracted="3540430431" DDC="502/.85" Normalized_DDC="50285" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540578773" Paper_ID="/51536.html" Extracted="3540578773" DDC="005.4/5" Normalized_DDC="00545" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540584854" Paper_ID="/51536.html" Extracted="3540584854" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:354058868X" Paper_ID="/51536.html" Extracted="354058868X" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.1" />
<identifier Org="ISBN:354067263X" Paper_ID="/51536.html" Extracted="354067263X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540678581" Paper_ID="/51536.html" Extracted="3540678581" DDC="005.453" Normalized_DDC="005453" Normalized_Weight="0.1" />
</rec>
<rec ID="/31490.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="An empirical comparison of interprocedural pointer alias analyses,">
<identifier Org="ISBN:3540307818" Paper_ID="/31490.html" Extracted="3540307818" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540650148" Paper_ID="/31490.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />
</rec>
<rec ID="/187776.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="19" Title="Precise Flow-Insensitive May-Alias Analysis Is {NP}-Hard,">
<identifier Org="ISBN:0769511015" Paper_ID="/187776.html" Extracted="0769511015" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1581139101" Paper_ID="/187776.html" Extracted="1581139101" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540208135" Paper_ID="/187776.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540309128" Paper_ID="/187776.html" Extracted="3540309128" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:354041861X" Paper_ID="/187776.html" Extracted="354041861X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540426620" Paper_ID="/187776.html" Extracted="3540426620" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540433694" Paper_ID="/187776.html" Extracted="3540433694" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540647376" Paper_ID="/187776.html" Extracted="3540647376" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540650148" Paper_ID="/187776.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
</rec>
<rec ID="/360133.html" Type="inproceedings" CiteSeer_Book="LISP and Functional Programming" CiteSeer_Volume="" Title="A Semantic Model of Reference Counting and its Abstraction (Detailed Summary),">
<identifier Org="ISBN:0818607645" Paper_ID="/360133.html" Extracted="0818607645" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:0897912004" Paper_ID="/360133.html" Extracted="0897912004" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:089791368X" Paper_ID="/360133.html" Extracted="089791368X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:0897917707" Paper_ID="/360133.html" Extracted="0897917707" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:354056943X" Paper_ID="/360133.html" Extracted="354056943X" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540594515" Paper_ID="/360133.html" Extracted="3540594515" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540610537" Paper_ID="/360133.html" Extracted="3540610537" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540938990" Paper_ID="/360133.html" Extracted="3540938990" />
</rec>
<rec ID="/114098.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Conference on Programming Language Design and Implementation PLDI" CiteSeer_Volume="" Title="A safe approximate algorithm for interprocedural pointer aliasing,">
<identifier Org="ISBN:084931240X" Paper_ID="/114098.html" Extracted="084931240X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0897916972" Paper_ID="/114098.html" Extracted="0897916972" />
<identifier Org="ISBN:1581130740" Paper_ID="/114098.html" Extracted="1581130740" />
<identifier Org="ISBN:1595930906" Paper_ID="/114098.html" Extracted="1595930906" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540227911" Paper_ID="/114098.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540307818" Paper_ID="/114098.html" Extracted="3540307818" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354041861X" Paper_ID="/114098.html" Extracted="354041861X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354043674X" Paper_ID="/114098.html" Extracted="354043674X" DDC="004.1/1" Normalized_DDC="00411" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354060765X" Paper_ID="/114098.html" Extracted="354060765X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540610537" Paper_ID="/114098.html" Extracted="3540610537" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540630910" Paper_ID="/114098.html" Extracted="3540630910" DDC="005.453" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540650148" Paper_ID="/114098.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540665382" Paper_ID="/114098.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540671021" Paper_ID="/114098.html" Extracted="3540671021" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540676686" Paper_ID="/114098.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540696083" Paper_ID="/114098.html" Extracted="3540696083" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540733671" Paper_ID="/114098.html" Extracted="3540733671" />
</rec>
<rec ID="/359389.html" Type="article" CiteSeer_Book="ACM SIGPLAN Notices" CiteSeer_Volume="28" Title="Interprocedural modification side effect analysis with pointer aliasing,">
<identifier Org="ISBN:0769518192" Paper_ID="/359389.html" Extracted="0769518192" />
<identifier Org="ISBN:0818678763" Paper_ID="/359389.html" Extracted="0818678763" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:081868108X" Paper_ID="/359389.html" Extracted="081868108X" />
<identifier Org="ISBN:0818681292" Paper_ID="/359389.html" Extracted="0818681292" />
<identifier Org="ISBN:0897916972" Paper_ID="/359389.html" Extracted="0897916972" />
<identifier Org="ISBN:1581130740" Paper_ID="/359389.html" Extracted="1581130740" />
<identifier Org="ISBN:3540212973" Paper_ID="/359389.html" Extracted="3540212973" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540254110" Paper_ID="/359389.html" Extracted="3540254110" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540307818" Paper_ID="/359389.html" Extracted="3540307818" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540610537" Paper_ID="/359389.html" Extracted="3540610537" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540650148" Paper_ID="/359389.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540669078" Paper_ID="/359389.html" Extracted="3540669078" DDC="004/.3" Normalized_DDC="0043" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540705910" Paper_ID="/359389.html" Extracted="3540705910" />
</rec>
<rec ID="/149490.html" Type="inproceedings" CiteSeer_Book="SIGPLAN Conference on Programming Language Design and Implementation" CiteSeer_Volume="" Title="Context-Insensitive Alias Analysis Reconsidered,">
<identifier Org="ISBN:084931240X" Paper_ID="/149490.html" Extracted="084931240X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0897916972" Paper_ID="/149490.html" Extracted="0897916972" />
<identifier Org="ISBN:1581130740" Paper_ID="/149490.html" Extracted="1581130740" />
<identifier Org="ISBN:1581135882" Paper_ID="/149490.html" Extracted="1581135882" />
<identifier Org="ISBN:3540009043" Paper_ID="/149490.html" Extracted="3540009043" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540227911" Paper_ID="/149490.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540307818" Paper_ID="/149490.html" Extracted="3540307818" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540403256" Paper_ID="/149490.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540405313" Paper_ID="/149490.html" Extracted="3540405313" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354060765X" Paper_ID="/149490.html" Extracted="354060765X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540610537" Paper_ID="/149490.html" Extracted="3540610537" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540631143" Paper_ID="/149490.html" Extracted="3540631143" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540650148" Paper_ID="/149490.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540654100" Paper_ID="/149490.html" Extracted="3540654100" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540656995" Paper_ID="/149490.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540676686" Paper_ID="/149490.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="/666372.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="20" Title="Solving Shape-Analysis Problems in Languages with Destructive Updating,">
<identifier Org="ISBN:084931240X" Paper_ID="/666372.html" Extracted="084931240X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540208038" Paper_ID="/666372.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540211993" Paper_ID="/666372.html" Extracted="3540211993" DDC="005.275" Normalized_DDC="005275" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540227911" Paper_ID="/666372.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540254358" Paper_ID="/666372.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540307818" Paper_ID="/666372.html" Extracted="3540307818" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540411852" Paper_ID="/666372.html" Extracted="3540411852" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354041861X" Paper_ID="/666372.html" Extracted="354041861X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540428623" Paper_ID="/666372.html" Extracted="3540428623" DDC="005.453" Normalized_DDC="005453" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540442359" Paper_ID="/666372.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540650148" Paper_ID="/666372.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540676686" Paper_ID="/666372.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540697357" Paper_ID="/666372.html" Extracted="3540697357" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540712089" Paper_ID="/666372.html" Extracted="3540712089" />
<identifier Org="ISBN:3540715274" Paper_ID="/666372.html" Extracted="3540715274" DDC="621.39" Normalized_DDC="62139" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540787909" Paper_ID="/666372.html" Extracted="3540787909" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/141056.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1302" Title="The Effects of the Precision of Pointer Analysis,">
<identifier Org="ISBN:012012162X" Paper_ID="/141056.html" Extracted="012012162X" />
<identifier Org="ISBN:0769501931" Paper_ID="/141056.html" Extracted="0769501931" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540212973" Paper_ID="/141056.html" Extracted="3540212973" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354022159X" Paper_ID="/141056.html" Extracted="354022159X" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540297359" Paper_ID="/141056.html" Extracted="3540297359" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540307818" Paper_ID="/141056.html" Extracted="3540307818" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540403256" Paper_ID="/141056.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354041861X" Paper_ID="/141056.html" Extracted="354041861X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540421238" Paper_ID="/141056.html" Extracted="3540421238" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540423141" Paper_ID="/141056.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540428623" Paper_ID="/141056.html" Extracted="3540428623" DDC="005.453" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354043674X" Paper_ID="/141056.html" Extracted="354043674X" DDC="004.1/1" Normalized_DDC="00411" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540650148" Paper_ID="/141056.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540665382" Paper_ID="/141056.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="/172161.html" Type="inproceedings" CiteSeer_Book="Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Fast and Accurate Flow-Insensitive Points-To Analysis,">
<identifier Org="ISBN:0387240055" Paper_ID="/172161.html" Extracted="0387240055" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0769501931" Paper_ID="/172161.html" Extracted="0769501931" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:084931240X" Paper_ID="/172161.html" Extracted="084931240X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1581135882" Paper_ID="/172161.html" Extracted="1581135882" />
<identifier Org="ISBN:1581136285" Paper_ID="/172161.html" Extracted="1581136285" />
<identifier Org="ISBN:1581139101" Paper_ID="/172161.html" Extracted="1581139101" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540009043" Paper_ID="/172161.html" Extracted="3540009043" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354028009X" Paper_ID="/172161.html" Extracted="354028009X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540405313" Paper_ID="/172161.html" Extracted="3540405313" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540412859" Paper_ID="/172161.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354041861X" Paper_ID="/172161.html" Extracted="354041861X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354043674X" Paper_ID="/172161.html" Extracted="354043674X" DDC="004.1/1" Normalized_DDC="00411" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540665382" Paper_ID="/172161.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540676686" Paper_ID="/172161.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540693378" Paper_ID="/172161.html" Extracted="3540693378" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Interprocedural Pointer Alias Analysis">
<identifier Org="ISBN:1402065841" Paper_ID="SELF" Extracted="1402065841" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1581135394" Paper_ID="SELF" Extracted="1581135394" DDC="004.5" Normalized_DDC="0045" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1581139101" Paper_ID="SELF" Extracted="1581139101" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1595936025" Paper_ID="SELF" Extracted="1595936025" />
<identifier Org="ISBN:3540211993" Paper_ID="SELF" Extracted="3540211993" DDC="005.275" Normalized_DDC="005275" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540227911" Paper_ID="SELF" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540288961" Paper_ID="SELF" Extracted="3540288961" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354041861X" Paper_ID="SELF" Extracted="354041861X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540420681" Paper_ID="SELF" Extracted="3540420681" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540423141" Paper_ID="SELF" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540433694" Paper_ID="SELF" Extracted="3540433694" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540442359" Paper_ID="SELF" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540650148" Paper_ID="SELF" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540705414" Paper_ID="SELF" Extracted="3540705414" />
<identifier Org="ISBN:3540743197" Paper_ID="SELF" Extracted="3540743197" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540884785" Paper_ID="SELF" Extracted="3540884785" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.07142857142857142" />
</rec>
</references_metadata>