Removing Redundant Arguments Automatically

Details Removing Redundant Arguments Automatically Removing Redundant Arguments Automatically

2006-01-10

arxiv.org/abs/cs/0601039v1

Computer Science

Programming Languages

Accepted for publication in Theory and Practice of Logic Programming

Scientific paper

The application of automatic transformation processes during the formal development and optimization of programs can introduce encumbrances in the generated code that programmers usually (or presumably) do not write. An example is the introduction of redundant arguments in the functions defined in the program. Redundancy of a parameter means that replacing it by any expression does not change the result. In this work, we provide methods for the analysis and elimination of redundant arguments in term rewriting systems as a model for the programs that can be written in more sophisticated languages. On the basis of the uselessness of redundant arguments, we also propose an erasure procedure which may avoid wasteful computations while still preserving the semantics (under ascertained conditions). A prototype implementation of these methods has been undertaken, which demonstrates the practicality of our approach.

Affiliated with

Also associated with

No associations

Rating

Removing Redundant Arguments Automatically does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Removing Redundant Arguments Automatically, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Removing Redundant Arguments Automatically will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-214237