Automatically assigned DDC number: 005117

Manually assigned DDC number: 00512

Number of references: 8

Title: A Position Paper on Compile-time Program Analysis

Author:

Subject: Barbara G. Ryder A Position Paper on Compile-time Program Analysis

Description: he same term, such as flow sensitivity[Marlowe et al. 1995]. It is most important, for example, to have both the abstract interpretation [Cousot and Cousot 1977] and data flow analysis communities achieve better mutual understanding of each other's contributions and definitional frameworks. Similarly, there needs to be more unification between the functional, imperative and logic programming analysis communities. Unless these unifying discussions are deemed important, it will be difficult to convince people to participate. Our second challenge is to explore how to effectively use program analyses in practical software tools, potentially an area of joint research with the software engineering community (e.g., aggressive optimizing compilers [Aho et al. 1986], parallelizing compilers [Allen et al. 1988; Callahan et al. 1988; Polychronopolous 1988; Wolfe 1989], data-flow based testing systems[Rapps and Weyuker 1985; Ostrand and Weyuker 1991; Hutchins et al. 1994], semantic change analyzer

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-11-14

Pubyear: 1996

Format: ps

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

Source: http://www.cs.rutgers.edu/~ryder/mit96.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="/21478.html"   Type="incollection"   CiteSeer_Book="Lecture   Notes   in   Computer   Science   892"   CiteSeer_Volume=""   Title="{F}low-{I}nsensitive   {I}nterprocedural   {A}lias   {A}nalysis   in   the   {P}ressence   of   {P}ointers,"   />

      <rec   ID="/58051.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   POPL   94   21st   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Reducing   Indirect   Function   Call   Overhead   in   {C++}   Programs,">

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

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

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

            <identifier   Org="ISBN:0849386195"   Paper_ID="/58051.html"   Extracted="0849386195"   DDC="621.39"   Normalized_DDC="62139"   Normalized_Weight="0.1"   />

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

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

            <identifier   Org="ISBN:1558604472"   Paper_ID="/58051.html"   Extracted="1558604472"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540773509"   Paper_ID="/58051.html"   Extracted="3540773509"   />

      </rec>

      <rec   ID="/70967.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Twentieth   Annual   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Efficient   Flow-Sensitive   Interprocedural   Computation   of   Pointer-Induced   Aliases   and   Side   Effects,">

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

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

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

            <identifier   Org="ISBN:1581135882"   Paper_ID="/70967.html"   Extracted="1581135882"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540617361"   Paper_ID="/70967.html"   Extracted="3540617361"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:3540660933"   Paper_ID="/70967.html"   Extracted="3540660933"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540669078"   Paper_ID="/70967.html"   Extracted="3540669078"   DDC="004/.3"   Normalized_DDC="0043"   Normalized_Weight="0.07692307692307693"   />

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

      </rec>

      <rec   ID="/260157.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Selective   Specialization   for   Object-Oriented   Languages,">

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

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

            <identifier   Org="ISBN:0818672935"   Paper_ID="/260157.html"   Extracted="0818672935"   />

            <identifier   Org="ISBN:0818678828"   Paper_ID="/260157.html"   Extracted="0818678828"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.09090909090909091"   />

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/589519.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGPLAN   88   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Interprocedural   slicing   using   dependence   graphs,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/589519.html"   Extracted="0120121433"   />

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

            <identifier   Org="ISBN:0387574174"   Paper_ID="/589519.html"   Extracted="0387574174"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792373235"   Paper_ID="/589519.html"   Extracted="0792373235"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818667923"   Paper_ID="/589519.html"   Extracted="0818667923"   DDC="005.1/6"   Normalized_DDC="00516"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:140206263X"   Paper_ID="/589519.html"   Extracted="140206263X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:1581135424"   Paper_ID="/589519.html"   Extracted="1581135424"   />

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

            <identifier   Org="ISBN:3540190279"   Paper_ID="/589519.html"   Extracted="3540190279"   />

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

            <identifier   Org="ISBN:3540258612"   Paper_ID="/589519.html"   Extracted="3540258612"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540665595"   Paper_ID="/589519.html"   Extracted="3540665595"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3642005926"   Paper_ID="/589519.html"   Extracted="3642005926"   />

            <identifier   Org="ISBN:9051993102"   Paper_ID="/589519.html"   Extracted="9051993102"   />

      </rec>

      <rec   ID="/144750.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Defining   flow-sensitivity   in   data   flow   problems,">

            <identifier   Org="ISBN:0546649602"   Paper_ID="/144750.html"   Extracted="0546649602"   />

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

            <identifier   Org="ISBN:354058868X"   Paper_ID="/144750.html"   Extracted="354058868X"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.5"   />

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

      </rec>

      <rec   ID="/33904.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Points-to   Analysis   in   Almost   Linear   Time,">

            <identifier   Org="ISBN:1581139101"   Paper_ID="/33904.html"   Extracted="1581139101"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540223428"   Paper_ID="/33904.html"   Extracted="3540223428"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354028009X"   Paper_ID="/33904.html"   Extracted="354028009X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540693378"   Paper_ID="/33904.html"   Extracted="3540693378"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.058823529411764705"   />

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

      </rec>

      <rec   ID="/385062.html"   Type="inproceedings"   CiteSeer_Book="Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="Program   Decomposition   for   Pointer   Aliasing:   A   Step   Toward   Practical   Analyses,">

            <identifier   Org="ISBN:0818679611"   Paper_ID="/385062.html"   Extracted="0818679611"   />

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

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

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

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

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   Position   Paper   on   Compile-time   Program   Analysis"   />

</references_metadata>

www.000webhost.com