Thomas Reps, Todd Turnidge  Home/Search
Context Related
| wisc.edu/wpis/papers/dagstuhl96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: 128.105.7.11/wpis/html/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is different from the specialization operations performed by algorithms for partial evaluation, supercompilation, bifurcation, and deforestation. To study the relationship between slicing and these operations in a simplified setting, we consider the problem of slicing functional programs. We identify two different goals... (Update)
Cited by: More
Restructuring Programs By Tucking Statements Into Functions - Arun Lakhotia And (1998) (Correct)
Protocol Specialization - Neubauer, Thiemann (Correct)
Program Specialization Based on Dynamic Slicing - Ochoa, Silva, Vidal (2004) (Correct)
Similar documents (at the sentence level):
78.5%: Program Specialization via Program Slicing - Reps, Turnidge (1995) (Correct)
Active bibliography (related documents): More All
0.0: A Formal Foundation for Concurrent Object Oriented Programming - Grosu (1995) (Correct)
0.0: Set Based Analysis of ML Programs - Exte Nd Ed (1993) (Correct)
0.0: Tarskian Set Constraints are in NEXPTIME - Mielniczuk, Pacholski (1998) (Correct)
Similar documents based on text: More All
0.3: Using Program Slicing to Drive Pre-Execution on Simultaneous.. - Kim, Yeung (2001) (Correct)
0.2: Computational Divided Differencing and Divided-Difference.. - Reps, Rall (2000) (Correct)
0.1: Advances in Theory: - Program Specialization Has (Correct)
Related documents from co-citation: More All
22: A Survey of Program Slicing Techniques - Tip - 1995
20: IEEE Transactions on Software Engineering (context) - Weiser - 1984
18: Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981
BibTeX entry: (Update)
T. Reps and T. Turnidge. Program specialization via program slicing. In Danvy et al. [32]. To appear. http://citeseer.ist.psu.edu/136136.html More
@inproceedings{ reps96program,
author = "Thomas Reps and Todd Turnidge",
title = "Program Specialization Via Program Slicing",
booktitle = "Proceedings of the Dagstuhl Seminar on Partial Evaluation",
month = "12--16",
publisher = "Springer-Verlag, New York, NY",
address = "Schloss Dagstuhl, Wadern, Germany",
editor = "O. Danvy and R. Glueck and P. Thiemann",
pages = "409--429",
year = "1996",
url = "citeseer.ist.psu.edu/136136.html" }
Citations (may not include all citations):1 Shape analysis as a generalized path problem (context) - Spain, Lecture et al. - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://128.105.7.11/wpis/html/): More
Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (Correct)
Precise Interprocedural Dataflow Analysis with.. - Sagiv, Reps, Horwitz (1995) (Correct)
Interprocedural Path Profiling - Melski, Reps (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC