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>