Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 8

Title: Dead Code Elimination through Dependent Types

Author:

Subject: Hongwei Xi Dead Code Elimination through Dependent Types

Description: . Pattern matching is an important feature in various functional programming languages such as SML, Caml, Haskell, etc. In these languages, unreachable or redundant matching clauses, which can be regarded as a special form of dead code, are a rich source for program errors. Therefore, eliminating unreachable matching clauses at compiletime can significantly enhance program error detection. Furthermore, this can also lead to significantly more efficient code at run-time. We present a novel approach to eliminating unreachable matching clauses through the use of the dependent type system of DML, a functional programming language that enriches ML with a restricted form of dependent types. We then prove the correctness of the approach, which consists of the major technical contribution of the paper. In addition, we demonstrate the applicability of our approach to dead code elimination through some realistic examples. This constitutes a practical application of dependent types to functional ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-11-16

Pubyear: 1999

Format: ps

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

Source: http://www.cse.ogi.edu/~hongwei/academic/papers/padl99.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/11736.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Practical   refinement-type   checking,">

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

            <identifier   Org="ISBN:3540655271"   Paper_ID="/11736.html"   Extracted="3540655271"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.5"   />

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

      </rec>

      <rec   ID="/111052.html"   Type="inproceedings"   CiteSeer_Book="Static   Analysis   Symposium"   CiteSeer_Volume=""   Title="Program   Analysis   Using   Mixed   Term   and   Set   Constraints,">

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

            <identifier   Org="ISBN:3540285849"   Paper_ID="/111052.html"   Extracted="3540285849"   DDC="005.1/3"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

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

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

            <identifier   Org="ISBN:3540655271"   Paper_ID="/111052.html"   Extracted="3540655271"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

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

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

      </rec>

      <rec   ID="/225858.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGPLAN   91   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Refinement   types   for   {ML},">

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

            <identifier   Org="ISBN:0769516890"   Paper_ID="/225858.html"   Extracted="0769516890"   />

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

            <identifier   Org="ISBN:0897916085"   Paper_ID="/225858.html"   Extracted="0897916085"   DDC="005.3/028/7"   Normalized_DDC="00530287"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:1841500704"   Paper_ID="/225858.html"   Extracted="1841500704"   DDC="005.114"   Normalized_DDC="005114"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540544151"   Paper_ID="/225858.html"   Extracted="3540544151"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

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

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

      </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.06666666666666667"   />

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

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

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

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

            <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.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:3540630910"   Paper_ID="/180943.html"   Extracted="3540630910"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

      </rec>

      <rec   ID="/67787.html"   Type="inproceedings"   CiteSeer_Book="Functional   Programming   Languages   and   Computer   Architecture"   CiteSeer_Volume=""   Title="{Projections   for   Strictness   Analysis},">

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

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

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

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

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

            <identifier   Org="ISBN:354051662X"   Paper_ID="/67787.html"   Extracted="354051662X"   />

            <identifier   Org="ISBN:3540542337"   Paper_ID="/67787.html"   Extracted="3540542337"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

            <identifier   Org="ISBN:354060359X"   Paper_ID="/67787.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

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

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

      </rec>

      <rec   ID="/56720.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Eliminating   Array   Bound   Checking   Through   Dependent   Types,">

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

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

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

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

            <identifier   Org="ISBN:3540211993"   Paper_ID="/56720.html"   Extracted="3540211993"   DDC="005.275"   Normalized_DDC="005275"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540741291"   Paper_ID="/56720.html"   Extracted="3540741291"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540775595"   Paper_ID="/56720.html"   Extracted="3540775595"   />

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

            <identifier   Org="ISBN:3540799796"   Paper_ID="/56720.html"   Extracted="3540799796"   />

            <identifier   Org="ISBN:3540880585"   Paper_ID="/56720.html"   Extracted="3540880585"   />

      </rec>

      <rec   ID="/142176.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   POPL   99   The   26th   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages   San   Antonio   Texas"   CiteSeer_Volume=""   Title="Dependent   Types   in   Practical   Programming,">

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

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

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

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

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

            <identifier   Org="ISBN:3540221646"   Paper_ID="/142176.html"   Extracted="3540221646"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540282319"   Paper_ID="/142176.html"   Extracted="3540282319"   DDC="005.1/015113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540285407"   Paper_ID="/142176.html"   Extracted="3540285407"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:3540741291"   Paper_ID="/142176.html"   Extracted="3540741291"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540880585"   Paper_ID="/142176.html"   Extracted="3540880585"   />

      </rec>

      <rec   ID="/249185.html"   Type="inproceedings"   CiteSeer_Book="Static   Analysis   Symposium"   CiteSeer_Volume=""   Title="Towards   a   Cost-Effective   Estimation   of   Uncaught   Exceptions   in   {SML}   Programs,">

            <identifier   Org="ISBN:3540436316"   Paper_ID="/249185.html"   Extracted="3540436316"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.3333333333333333"   />

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

            <identifier   Org="ISBN:354066954X"   Paper_ID="/249185.html"   Extracted="354066954X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540893296"   Paper_ID="/249185.html"   Extracted="3540893296"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Dead   Code   Elimination   through   Dependent   Types">

            <identifier   Org="ISBN:159593071X"   Paper_ID="SELF"   Extracted="159593071X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540221646"   Paper_ID="SELF"   Extracted="3540221646"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

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

            <identifier   Org="ISBN:3540440445"   Paper_ID="SELF"   Extracted="3540440445"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540655271"   Paper_ID="SELF"   Extracted="3540655271"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540741291"   Paper_ID="SELF"   Extracted="3540741291"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.16666666666666666"   />

      </rec>

</references_metadata>