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