Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 32

Title: Demand-Driven Type Analysis for Dynamically-Typed Functional Languages

Subject: Demand-Driven Type Analysis for Dynamically-Typed Functional Languages

Description: We present a new static type analysis for dynamically-typed languages that produces high quality results at a cost that remains practicable. The analysis has the ability to adapt to the needs of the optimizer and to the characteristics of the program at hand. The result is an analyzer that quickly transforms itself to be better equipped to attack the program. Experiments show that our approach can be pretty clever in the optimizations that it enables.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2002-08-27

Format: ps

Identifier: http://citeseer.ist.psu.edu/552569.html

Source: http://www.iro.umontreal.ca/~dube/these.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

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="/417649.html"   Type="inproceedings"   CiteSeer_Book="ICSM"   CiteSeer_Volume=""   Title="Simultaneous   Demand-Driven   Data-Flow   and   Call   Graph   Analysis,">

            <identifier   Org="ISBN:354022159X"   Paper_ID="/417649.html"   Extracted="354022159X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540433694"   Paper_ID="/417649.html"   Extracted="3540433694"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/420154.html"   Type="inproceedings"   CiteSeer_Book="Computational   Complexity"   CiteSeer_Volume=""   Title="Evaluating   a   Demand   Driven   Technique   for   Call   Graph   Construction,">

            <identifier   Org="ISBN:1595930906"   Paper_ID="/420154.html"   Extracted="1595930906"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:354022159X"   Paper_ID="/420154.html"   Extracted="354022159X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540297359"   Paper_ID="/420154.html"   Extracted="3540297359"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540433694"   Paper_ID="/420154.html"   Extracted="3540433694"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/98298.html"   Type="inproceedings"   CiteSeer_Book="5th   ACM   Conference   on   Functional   Programming   Languages   and   Computer   Architecture"   CiteSeer_Volume=""   Title="{Implementing   Regular   Tree   Expressions},">

            <identifier   Org="ISBN:0818631406"   Paper_ID="/98298.html"   Extracted="0818631406"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/98298.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/98298.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0897915941"   Paper_ID="/98298.html"   Extracted="0897915941"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="/98298.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540441859"   Paper_ID="/98298.html"   Extracted="3540441859"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540543961"   Paper_ID="/98298.html"   Extracted="3540543961"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/98298.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354058403X"   Paper_ID="/98298.html"   Extracted="354058403X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/98298.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540600442"   Paper_ID="/98298.html"   Extracted="3540600442"   DDC="006.4"   Normalized_DDC="0064"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/98298.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/98298.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540662014"   Paper_ID="/98298.html"   Extracted="3540662014"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/98298.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/98298.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/188765.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Eighteenth   Annual   ACM   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Static   Type   Inference   in   a   Dynamically   Typed   Language,">

            <identifier   Org="ISBN:0818627352"   Paper_ID="/188765.html"   Extracted="0818627352"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/188765.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/188765.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:184150176X"   Paper_ID="/188765.html"   Extracted="184150176X"   />

            <identifier   Org="ISBN:3540423141"   Paper_ID="/188765.html"   Extracted="3540423141"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540571205"   Paper_ID="/188765.html"   Extracted="3540571205"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354057316X"   Paper_ID="/188765.html"   Extracted="354057316X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/188765.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/188765.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540600442"   Paper_ID="/188765.html"   Extracted="3540600442"   DDC="006.4"   Normalized_DDC="0064"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/188765.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540632379"   Paper_ID="/188765.html"   Extracted="3540632379"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540648275"   Paper_ID="/188765.html"   Extracted="3540648275"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/188765.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/78122.html"   Type="inproceedings"   CiteSeer_Book="Functional   Programming   Languages   and   Computer   Architecture"   CiteSeer_Volume=""   Title="Type   Inclusion   Constraints   and   Type   Inference,">

            <identifier   Org="ISBN:0897917707"   Paper_ID="/78122.html"   Extracted="0897917707"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1581130627"   Paper_ID="/78122.html"   Extracted="1581130627"   />

            <identifier   Org="ISBN:1860940234"   Paper_ID="/78122.html"   Extracted="1860940234"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540260943"   Paper_ID="/78122.html"   Extracted="3540260943"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540275800"   Paper_ID="/78122.html"   Extracted="3540275800"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/78122.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540422064"   Paper_ID="/78122.html"   Extracted="3540422064"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="/78122.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/78122.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540617396"   Paper_ID="/78122.html"   Extracted="3540617396"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/78122.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/78122.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540649255"   Paper_ID="/78122.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/78122.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540653880"   Paper_ID="/78122.html"   Extracted="3540653880"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/78122.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/78122.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/79621.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   POPL   94   21ST   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages   Portland   Oregon"   CiteSeer_Volume=""   Title="Soft   Typing   with   Conditional   Types,">

            <identifier   Org="ISBN:1402081405"   Paper_ID="/79621.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540003266"   Paper_ID="/79621.html"   Extracted="3540003266"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540008977"   Paper_ID="/79621.html"   Extracted="3540008977"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540615113"   Paper_ID="/79621.html"   Extracted="3540615113"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540617396"   Paper_ID="/79621.html"   Extracted="3540617396"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/79621.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/79621.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540649255"   Paper_ID="/79621.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540659226"   Paper_ID="/79621.html"   Extracted="3540659226"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/79621.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/79621.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/79621.html"   Extracted="3540712089"   />

            <identifier   Org="ISBN:3540735887"   Paper_ID="/79621.html"   Extracted="3540735887"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/241919.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Functional   Programming"   CiteSeer_Volume=""   Title="The   Effectiveness   of   Flow   Analysis   for   Inlining,">

            <identifier   Org="ISBN:0897919068"   Paper_ID="/241919.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540654631"   Paper_ID="/241919.html"   Extracted="3540654631"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540657177"   Paper_ID="/241919.html"   Extracted="3540657177"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/5463.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="16"   Title="Fixpoint   Computation   for   Polyvariant   Static   Analyses   of   Higher-Order   Applicative   Programs,">

            <identifier   Org="ISBN:3540584854"   Paper_ID="/5463.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/5463.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/5463.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/51869.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="A   Demand-Driven   Set-Based   Analysis,">

            <identifier   Org="ISBN:1581138350"   Paper_ID="/51869.html"   Extracted="1581138350"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/51869.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540654100"   Paper_ID="/51869.html"   Extracted="3540654100"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540657630"   Paper_ID="/51869.html"   Extracted="3540657630"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540691634"   Paper_ID="/51869.html"   Extracted="3540691634"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/35888.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Demand-driven   Computation   of   Interprocedural   Data   Flow,">

            <identifier   Org="ISBN:0262631806"   Paper_ID="/35888.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0769514383"   Paper_ID="/35888.html"   Extracted="0769514383"   />

            <identifier   Org="ISBN:084931240X"   Paper_ID="/35888.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0897917200"   Paper_ID="/35888.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/35888.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540009043"   Paper_ID="/35888.html"   Extracted="3540009043"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540403256"   Paper_ID="/35888.html"   Extracted="3540403256"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/35888.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/35888.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540651233"   Paper_ID="/35888.html"   Extracted="3540651233"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540664432"   Paper_ID="/35888.html"   Extracted="3540664432"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540691634"   Paper_ID="/35888.html"   Extracted="3540691634"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540772197"   Paper_ID="/35888.html"   Extracted="3540772197"   />

      </rec>

      <rec   ID="/149121.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="A   Demand-Driven   Analyzer   for   Data   Flow   Testing   at   the   Integration   Level,">

            <identifier   Org="ISBN:084931240X"   Paper_ID="/149121.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:158488360X"   Paper_ID="/149121.html"   Extracted="158488360X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:1595930906"   Paper_ID="/149121.html"   Extracted="1595930906"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540664432"   Paper_ID="/149121.html"   Extracted="3540664432"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/17564.html"   Type="article"   CiteSeer_Book="ACM   Letters   on   Programming   Languages   and   Systems"   CiteSeer_Volume="2"   Title="Optimizing   Array   Bound   Checks   Using   Flow   Analysis,">

            <identifier   Org="ISBN:0769522823"   Paper_ID="/17564.html"   Extracted="0769522823"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0769523153"   Paper_ID="/17564.html"   Extracted="0769523153"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0897916972"   Paper_ID="/17564.html"   Extracted="0897916972"   />

            <identifier   Org="ISBN:142004382X"   Paper_ID="/17564.html"   Extracted="142004382X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1581135998"   Paper_ID="/17564.html"   Extracted="1581135998"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/17564.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/17564.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354041861X"   Paper_ID="/17564.html"   Extracted="354041861X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540420681"   Paper_ID="/17564.html"   Extracted="3540420681"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540433694"   Paper_ID="/17564.html"   Extracted="3540433694"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540625992"   Paper_ID="/17564.html"   Extracted="3540625992"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540664262"   Paper_ID="/17564.html"   Extracted="3540664262"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354067263X"   Paper_ID="/17564.html"   Extracted="354067263X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540775595"   Paper_ID="/17564.html"   Extracted="3540775595"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/221003.html"   Type="inproceedings"   CiteSeer_Book="Static   Analysis   Symposium"   CiteSeer_Volume=""   Title="Control-Flow   Analysis   and   Type   Systems,">

            <identifier   Org="ISBN:0262162288"   Paper_ID="/221003.html"   Extracted="0262162288"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/221003.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/221003.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402070241"   Paper_ID="/221003.html"   Extracted="1402070241"   DDC="004.165"   Normalized_DDC="004165"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:142004382X"   Paper_ID="/221003.html"   Extracted="142004382X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/221003.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540435379"   Paper_ID="/221003.html"   Extracted="3540435379"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="/221003.html"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540603603"   Paper_ID="/221003.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/221003.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540633987"   Paper_ID="/221003.html"   Extracted="3540633987"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540653074"   Paper_ID="/221003.html"   Extracted="3540653074"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540662227"   Paper_ID="/221003.html"   Extracted="3540662227"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540666249"   Paper_ID="/221003.html"   Extracted="3540666249"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/487023.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Demand-Driven   Pointer   Analysis,">

            <identifier   Org="ISBN:084931240X"   Paper_ID="/487023.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1595930906"   Paper_ID="/487023.html"   Extracted="1595930906"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540003266"   Paper_ID="/487023.html"   Extracted="3540003266"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540009043"   Paper_ID="/487023.html"   Extracted="3540009043"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354022159X"   Paper_ID="/487023.html"   Extracted="354022159X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540240756"   Paper_ID="/487023.html"   Extracted="3540240756"   DDC="004.6/78"   Normalized_DDC="004678"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540307818"   Paper_ID="/487023.html"   Extracted="3540307818"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540403256"   Paper_ID="/487023.html"   Extracted="3540403256"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354043674X"   Paper_ID="/487023.html"   Extracted="354043674X"   DDC="004.1/1"   Normalized_DDC="00411"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/487023.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540691634"   Paper_ID="/487023.html"   Extracted="3540691634"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/191341.html"   Type="inproceedings"   CiteSeer_Book="Proc   1992   ACM   Conf   on   LISP   and   Functional   Programming   LFP   San   Francisco   California"   CiteSeer_Volume=""   Title="Global   Tagging   Optimization   by   Type   Inference,">

            <identifier   Org="ISBN:0897916972"   Paper_ID="/191341.html"   Extracted="0897916972"   />

            <identifier   Org="ISBN:0897917707"   Paper_ID="/191341.html"   Extracted="0897917707"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354025420X"   Paper_ID="/191341.html"   Extracted="354025420X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540410546"   Paper_ID="/191341.html"   Extracted="3540410546"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/191341.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540603603"   Paper_ID="/191341.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540649255"   Paper_ID="/191341.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540654631"   Paper_ID="/191341.html"   Extracted="3540654631"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540657177"   Paper_ID="/191341.html"   Extracted="3540657177"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540787682"   Paper_ID="/191341.html"   Extracted="3540787682"   DDC="005.1/15"   Normalized_DDC="005115"   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="/62282.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   POPL   95   22nd   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="A   Unified   Treatment   of   Flow   Analysis   in   Higher-Order   Languages,">

            <identifier   Org="ISBN:0792347099"   Paper_ID="/62282.html"   Extracted="0792347099"   DDC="510/.3"   Normalized_DDC="5103"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/62282.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402070241"   Paper_ID="/62282.html"   Extracted="1402070241"   DDC="004.165"   Normalized_DDC="004165"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/62282.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="/62282.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540421963"   Paper_ID="/62282.html"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540422064"   Paper_ID="/62282.html"   Extracted="3540422064"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540435379"   Paper_ID="/62282.html"   Extracted="3540435379"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540603603"   Paper_ID="/62282.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354060765X"   Paper_ID="/62282.html"   Extracted="354060765X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540625038"   Paper_ID="/62282.html"   Extracted="3540625038"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540647813"   Paper_ID="/62282.html"   Extracted="3540647813"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540654100"   Paper_ID="/62282.html"   Extracted="3540654100"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/62282.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/62282.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/258411.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Second   International   Static   Analysis   Symposium"   CiteSeer_Volume=""   Title="Effective   Flow   Analysis   for   Avoiding   Run-Time   Checks,">

            <identifier   Org="ISBN:0897917707"   Paper_ID="/258411.html"   Extracted="0897917707"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/258411.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540603603"   Paper_ID="/258411.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540654100"   Paper_ID="/258411.html"   Extracted="3540654100"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/113262.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Flow-directed   Inlining,">

            <identifier   Org="ISBN:0897919068"   Paper_ID="/113262.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/113262.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="/113262.html"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540633987"   Paper_ID="/113262.html"   Extracted="3540633987"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540654631"   Paper_ID="/113262.html"   Extracted="3540654631"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540657177"   Paper_ID="/113262.html"   Extracted="3540657177"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/180943.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Partial   Dead   Code   Elimination,">

            <identifier   Org="ISBN:0792379896"   Paper_ID="/180943.html"   Extracted="0792379896"   DDC="005.26"   Normalized_DDC="00526"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818679778"   Paper_ID="/180943.html"   Extracted="0818679778"   DDC="005.6"   Normalized_DDC="0056"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818680679"   Paper_ID="/180943.html"   Extracted="0818680679"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818680903"   Paper_ID="/180943.html"   Extracted="0818680903"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:084931240X"   Paper_ID="/180943.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/180943.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:1584884479"   Paper_ID="/180943.html"   Extracted="1584884479"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540212973"   Paper_ID="/180943.html"   Extracted="3540212973"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540610537"   Paper_ID="/180943.html"   Extracted="3540610537"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540616268"   Paper_ID="/180943.html"   Extracted="3540616268"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540625992"   Paper_ID="/180943.html"   Extracted="3540625992"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540655107"   Paper_ID="/180943.html"   Extracted="3540655107"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540657177"   Paper_ID="/180943.html"   Extracted="3540657177"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/180943.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/180943.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/217401.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Elimination   of   Redundant   Array   Subscript   Range   Checks,">

            <identifier   Org="ISBN:0769522823"   Paper_ID="/217401.html"   Extracted="0769522823"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:084931240X"   Paper_ID="/217401.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0897916972"   Paper_ID="/217401.html"   Extracted="0897916972"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/217401.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/217401.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1581135998"   Paper_ID="/217401.html"   Extracted="1581135998"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354041861X"   Paper_ID="/217401.html"   Extracted="354041861X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540420681"   Paper_ID="/217401.html"   Extracted="3540420681"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540425780"   Paper_ID="/217401.html"   Extracted="3540425780"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540664262"   Paper_ID="/217401.html"   Extracted="3540664262"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354067263X"   Paper_ID="/217401.html"   Extracted="354067263X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540775595"   Paper_ID="/217401.html"   Extracted="3540775595"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/33975.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Twentieth   Annual   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Efficient   Recursive   Subtyping,">

            <identifier   Org="ISBN:026202523X"   Paper_ID="/33975.html"   Extracted="026202523X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262631806"   Paper_ID="/33975.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0521622778"   Paper_ID="/33975.html"   Extracted="0521622778"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/33975.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/33975.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/33975.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540433635"   Paper_ID="/33975.html"   Extracted="3540433635"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/33975.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540440445"   Paper_ID="/33975.html"   Extracted="3540440445"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="/33975.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/33975.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540603603"   Paper_ID="/33975.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/33975.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540626883"   Paper_ID="/33975.html"   Extracted="3540626883"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9810245009"   Paper_ID="/33975.html"   Extracted="9810245009"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/44365.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="118"   Title="Safety   Analysis   versus   Type   Inference,">

            <identifier   Org="ISBN:0818679263"   Paper_ID="/44365.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0897916972"   Paper_ID="/44365.html"   Extracted="0897916972"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/44365.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0897919084"   Paper_ID="/44365.html"   Extracted="0897919084"   />

            <identifier   Org="ISBN:1402009976"   Paper_ID="/44365.html"   Extracted="1402009976"   DDC="355.6/213"   Normalized_DDC="3556213"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540571205"   Paper_ID="/44365.html"   Extracted="3540571205"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540578773"   Paper_ID="/44365.html"   Extracted="3540578773"   DDC="005.4/5"   Normalized_DDC="00545"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/44365.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/44365.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540603603"   Paper_ID="/44365.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/44365.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540651233"   Paper_ID="/44365.html"   Extracted="3540651233"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/394297.html"   Type="inproceedings"   CiteSeer_Book="Implementation   of   Functional   Languages"   CiteSeer_Volume=""   Title="Higher   Order   Demand   Propagation,">

            <identifier   Org="ISBN:3540662294"   Paper_ID="/394297.html"   Extracted="3540662294"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/90662.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Accurate   Static   Branch   Prediction   by   Value   Range   Propagation,">

            <identifier   Org="ISBN:0769506224"   Paper_ID="/90662.html"   Extracted="0769506224"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0769519296"   Paper_ID="/90662.html"   Extracted="0769519296"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:081868013X"   Paper_ID="/90662.html"   Extracted="081868013X"   DDC="005.16"   Normalized_DDC="00516"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0897916972"   Paper_ID="/90662.html"   Extracted="0897916972"   />

            <identifier   Org="ISBN:1558603204"   Paper_ID="/90662.html"   Extracted="1558603204"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1590331028"   Paper_ID="/90662.html"   Extracted="1590331028"   DDC="344.73/046"   Normalized_DDC="34473046"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540000852"   Paper_ID="/90662.html"   Extracted="3540000852"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540227911"   Paper_ID="/90662.html"   Extracted="3540227911"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540236627"   Paper_ID="/90662.html"   Extracted="3540236627"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540296433"   Paper_ID="/90662.html"   Extracted="3540296433"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540424954"   Paper_ID="/90662.html"   Extracted="3540424954"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540610537"   Paper_ID="/90662.html"   Extracted="3540610537"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540693297"   Paper_ID="/90662.html"   Extracted="3540693297"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:364200721X"   Paper_ID="/90662.html"   Extracted="364200721X"   />

      </rec>

      <rec   ID="/44914.html"   Type="incollection"   CiteSeer_Book="Theoretical   Aspects   of   ObjectOriented   Programming   Types   Semantics   and   Language   Design"   CiteSeer_Volume=""   Title="Bounded   Quantification   is   Undecidable,">

            <identifier   Org="ISBN:026202523X"   Paper_ID="/44914.html"   Extracted="026202523X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:026207155X"   Paper_ID="/44914.html"   Extracted="026207155X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0521594146"   Paper_ID="/44914.html"   Extracted="0521594146"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/44914.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0817638806"   Paper_ID="/44914.html"   Extracted="0817638806"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0897917707"   Paper_ID="/44914.html"   Extracted="0897917707"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1581139993"   Paper_ID="/44914.html"   Extracted="1581139993"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540006222"   Paper_ID="/44914.html"   Extracted="3540006222"   DDC="005.8/2"   Normalized_DDC="00582"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/44914.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540565175"   Paper_ID="/44914.html"   Extracted="3540565175"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/44914.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540614397"   Paper_ID="/44914.html"   Extracted="3540614397"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540625992"   Paper_ID="/44914.html"   Extracted="3540625992"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540630899"   Paper_ID="/44914.html"   Extracted="3540630899"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540647376"   Paper_ID="/44914.html"   Extracted="3540647376"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540661565"   Paper_ID="/44914.html"   Extracted="3540661565"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540705910"   Paper_ID="/44914.html"   Extracted="3540705910"   />

            <identifier   Org="ISBN:3540875301"   Paper_ID="/44914.html"   Extracted="3540875301"   />

      </rec>

      <rec   ID="/480595.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="17"   Title="Fast   Strictness   Analysis   Based   on   Demand   Propagation,">

            <identifier   Org="ISBN:3540620346"   Paper_ID="/480595.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540657657"   Paper_ID="/480595.html"   Extracted="3540657657"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/109355.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Functional   Programming"   CiteSeer_Volume=""   Title="Storage   Use   Analysis   and   its   Applications,">

            <identifier   Org="ISBN:0897917707"   Paper_ID="/109355.html"   Extracted="0897917707"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/109355.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/109355.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/109355.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:354067263X"   Paper_ID="/109355.html"   Extracted="354067263X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/109355.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/57039.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Functional   Programming"   CiteSeer_Volume=""   Title="Flexible   Representation   Analysis,">

            <identifier   Org="ISBN:0521582741"   Paper_ID="/57039.html"   Extracted="0521582741"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0521607655"   Paper_ID="/57039.html"   Extracted="0521607655"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/57039.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1581133596"   Paper_ID="/57039.html"   Extracted="1581133596"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/57039.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:3540403329"   Paper_ID="/57039.html"   Extracted="3540403329"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/57039.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540649255"   Paper_ID="/57039.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/182280.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Symposium   on   Partial   Evaluation   and   SemanticsBased   Program   Manipulation"   CiteSeer_Volume=""   Title="The   semantics   of   {Scheme}   control-flow   analysis,">

            <identifier   Org="ISBN:0897919068"   Paper_ID="/182280.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1841500585"   Paper_ID="/182280.html"   Extracted="1841500585"   />

            <identifier   Org="ISBN:354022159X"   Paper_ID="/182280.html"   Extracted="354022159X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540433694"   Paper_ID="/182280.html"   Extracted="3540433694"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540435379"   Paper_ID="/182280.html"   Extracted="3540435379"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540543961"   Paper_ID="/182280.html"   Extracted="3540543961"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540603603"   Paper_ID="/182280.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540625038"   Paper_ID="/182280.html"   Extracted="3540625038"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540654100"   Paper_ID="/182280.html"   Extracted="3540654100"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540656995"   Paper_ID="/182280.html"   Extracted="3540656995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354067263X"   Paper_ID="/182280.html"   Extracted="354067263X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540734473"   Paper_ID="/182280.html"   Extracted="3540734473"   />

      </rec>

      <rec   ID="/330517.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Flow-directed   lightweight   closure   conversion,">

            <identifier   Org="ISBN:1581134150"   Paper_ID="/330517.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:3540421963"   Paper_ID="/330517.html"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/257963.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Program   Analysis   Using   Binary   Relations,">

            <identifier   Org="ISBN:3540654100"   Paper_ID="/257963.html"   Extracted="3540654100"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Demand-Driven   Type   Analysis   for   Dynamically-Typed   Functional   Languages"   />

</references_metadata>