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

Graph

<?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>

www.000webhost.com