Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 16

Title: Type-Directed Flow Analysis for Typed Intermediate Languages

Author:

Author:

Author:

Subject: Suresh Jagannathan,Stephen Weeks,Andrew Wright Type-Directed Flow Analysis for Typed Intermediate Languages

Description: . Flow analysis is especially valuable for optimizing functional languages because control-flow information is not syntactically apparent in higher-order programs. Flow analyses typically operate on untyped languages. However, recent compilers for typed functional languages such as ML and Haskell use a typed higher-order intermediate language to expose data representations for optimization. This paper presents a polyvariant flow analysis framework for a typed intermediate language. Analyses in this framework can take advantage of types to analyze programs more precisely. We study a specific analysis called SRT that uses types to control polyvariance. We prove that SRT respects types: whenever it assigns abstract value v to a variable and the type system assigns type oe to the same variable, then [[v]] ` [[oe]], where [[ Delta ]] denotes a set of values. 1 Introduction Recent compilers for functional languages such as ML [24] and Haskell [18] express most optimizations in a typed hi...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-05-23

Pubyear: 1997

Format: ps

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

Source: http://www.star-lab.com/weeks/papers/97-sas.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="/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="/65883.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Iterative   Type   Analysis   and   Extended   Message   Splitting:   Optimizing   Dynamically-Typed   Object-Oriented   Programs,">

            <identifier   Org="ISBN:0201895021"   Paper_ID="/65883.html"   Extracted="0201895021"   DDC="005.13/09"   Normalized_DDC="0051309"   Normalized_Weight="0.1"   />

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

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

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

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

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

            <identifier   Org="ISBN:1586031252"   Paper_ID="/65883.html"   Extracted="1586031252"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540642560"   Paper_ID="/65883.html"   Extracted="3540642560"   />

            <identifier   Org="ISBN:9814021253"   Paper_ID="/65883.html"   Extracted="9814021253"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/474592.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGPLAN   International   Conference   on   Functional   Programming   ICFP97"   CiteSeer_Volume=""   Title="Strongly   typed   flow-directed   representation   transformations,">

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

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

            <identifier   Org="ISBN:1581136285"   Paper_ID="/474592.html"   Extracted="1581136285"   />

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

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

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

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

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

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

      </rec>

      <rec   ID="/142739.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="21"   Title="Componential   set-based   analysis,">

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

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

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

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

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

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

            <identifier   Org="ISBN:3540417117"   Paper_ID="/142739.html"   Extracted="3540417117"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540733671"   Paper_ID="/142739.html"   Extracted="3540733671"   />

      </rec>

      <rec   ID="/34344.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   POPL   95   22nd   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Compiling   Polymorphism   Using   Intensional   Type   Analysis,">

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

            <identifier   Org="ISBN:1581136285"   Paper_ID="/34344.html"   Extracted="1581136285"   />

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540705937"   Paper_ID="/34344.html"   Extracted="3540705937"   />

            <identifier   Org="ISBN:3540766367"   Paper_ID="/34344.html"   Extracted="3540766367"   />

            <identifier   Org="ISBN:3540767851"   Paper_ID="/34344.html"   Extracted="3540767851"   />

      </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="/211163.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Linear-time   Subtransitive   Control   Flow   Analysis,">

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

            <identifier   Org="ISBN:3540205365"   Paper_ID="/211163.html"   Extracted="3540205365"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1111111111111111"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3642007678"   Paper_ID="/211163.html"   Extracted="3642007678"   />

      </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="/309580.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Infinitary   Control   Flow   Analysis:   a   Collecting   Semantics   for   Closure   Analysis,">

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

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

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

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

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

            <identifier   Org="ISBN:3540300260"   Paper_ID="/309580.html"   Extracted="3540300260"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/309580.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.08333333333333333"   />

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/188642.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="17"   Title="A   Type   System   Equivalent   to   Flow   Analysis,">

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540600450"   Paper_ID="/188642.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.0625"   />

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

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

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

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

            <identifier   Org="ISBN:3540651373"   Paper_ID="/188642.html"   Extracted="3540651373"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540661301"   Paper_ID="/188642.html"   Extracted="3540661301"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/5706.html"   Type="inproceedings"   CiteSeer_Book="European   Symposium   on   Programming"   CiteSeer_Volume=""   Title="Compiling   Haskell   by   Program   Transformation:   A   Report   from   the   Trenches,">

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

            <identifier   Org="ISBN:1841501441"   Paper_ID="/5706.html"   Extracted="1841501441"   />

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

            <identifier   Org="ISBN:1852330929"   Paper_ID="/5706.html"   Extracted="1852330929"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540201947"   Paper_ID="/5706.html"   Extracted="3540201947"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540401954"   Paper_ID="/5706.html"   Extracted="3540401954"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540677275"   Paper_ID="/5706.html"   Extracted="3540677275"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540853723"   Paper_ID="/5706.html"   Extracted="3540853723"   />

      </rec>

      <rec   ID="/327982.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Precise   Concrete   Type   Inference   for   Object-Oriented   Languages,">

            <identifier   Org="ISBN:0769507107"   Paper_ID="/327982.html"   Extracted="0769507107"   />

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:354042265X"   Paper_ID="/327982.html"   Extracted="354042265X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:3540642560"   Paper_ID="/327982.html"   Extracted="3540642560"   />

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

            <identifier   Org="ISBN:3540654607"   Paper_ID="/327982.html"   Extracted="3540654607"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

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

      </rec>

      <rec   ID="/610308.html"   Type="inproceedings"   CiteSeer_Book="Proc   ACM   SIGPLAN   96   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="{TIL}:   {A}   Type-Directed   Optimizing   Compiler   for   {ML},">

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

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

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

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

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

            <identifier   Org="ISBN:354030553X"   Paper_ID="/610308.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540664084"   Paper_ID="/610308.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.06666666666666667"   />

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

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

            <identifier   Org="ISBN:3540705937"   Paper_ID="/610308.html"   Extracted="3540705937"   />

      </rec>

      <rec   ID="/71918.html"   Type="inproceedings"   CiteSeer_Book="Functional   Programming   Languages   and   Computer   Architecture"   CiteSeer_Volume=""   Title="Once   upon   a   type,">

            <identifier   Org="ISBN:0262631733"   Paper_ID="/71918.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:1581136676"   Paper_ID="/71918.html"   Extracted="1581136676"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540208135"   Paper_ID="/71918.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540769277"   Paper_ID="/71918.html"   Extracted="3540769277"   />

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

            <identifier   Org="ISBN:3540789685"   Paper_ID="/71918.html"   Extracted="3540789685"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Type-Directed   Flow   Analysis   for   Typed   Intermediate   Languages">

            <identifier   Org="ISBN:1581134150"   Paper_ID="SELF"   Extracted="1581134150"   />

            <identifier   Org="ISBN:3540421963"   Paper_ID="SELF"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="SELF"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="SELF"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

      </rec>

</references_metadata>

www.000webhost.com