Loading...
Please wait, while we are loading the content...
Similar Documents
Program Specialization via Program Slicing
| Content Provider | CiteSeerX |
|---|---|
| Author | Reps, Thomas Turnidge, Todd |
| Description | This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The specialization operation that slicing performs is different from the specialization operations performed by algorithms for partial evaluation, supercompilation, bifurcation, and deforestation. In particular, we present an example in which the specialized program that we create via slicing could not be created as the result of applying partial evaluation, supercompilation, bifurcation, or deforestation to the original unspecialized program. Specialization via slicing also possesses an interesting property that partial evaluation, supercompilation, and bifurcation do not possess: The latter operations are somewhat limited in the sense that they support tailoring of existing software only according to the ways in which parameters of functions and procedures are used in a program. Because parameters to functions and procedures represent the range of usage patterns that the des... Proceedings of the Dagstuhl Seminar on Partial Evaluation, volume 1110 of Lecture Notes in Computer Science |
| File Format | |
| Language | English |
| Publisher | Springer-Verlag |
| Access Restriction | Open |
| Subject Keyword | Specialized Program Usage Pattern Program Slicing Partial Evaluation Program-specialization Operation Program Specialization Latter Operation Interesting Property Certain Kind Original Unspecialized Program Specialization Operation |
| Content Type | Text |
| Resource Type | Article |
