ADS91b
Hiralal Agrawal, Richard A. DeMillo, y Eugene H. Spafford. Dynamic
slicing in the presence of unconstrained pointers. Technical Report
SERC-TR-93-P, Software Engineering Research Centre, Julio 1991.
ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/debugger/TR93P.PS.Z
ADS93
Hiralal Agrawal, Richard A. DeMillo, y Eugene H. Spafford. Debugging
with dynamic slicing and backtracking. Software - Practive And
Experience, 23(6):589-616, Junio 1993.
AG96
D. C. Atkinson y W. G. Griswold. The design of whole-program
analysis tools.
In Proceedings of the 18th International Conference on Software Engineering,
pages 16-27, Berlin, Marzo 1996.
Agr91
Hiralal Agrawal.Towards automatic debugging of computer programs.
PhD thesis, Purdue University, Agosto 1991.
Agr94
Hiralal Agrawal. On slicing programs with jump statements.
In Proceedings of the ACM SIGPLAN '94 Conference on Programming
Language Design and Implementation, volume 29(6) of ACM SIGPLAN Notices,
páginas 302-312, Orlando, FL, Junio 1994.
AH89
Hiralal Agrawal y Joseph R. Horgan. Dynamic program slicing.
Technical Report SERC-TR-56-P, Software Engineering Research Centre, Noviembre
1989.
AH90
Hiralal Agrawal y Joseph R. Horgan. Dynamic program slicing.
In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language
Design and Implementation, volume 25(6) of ACM SIGPLAN Notices, pages 246-256,
Junio 1990.
AM94
Scott D. Alden and D. Drew Moseley. Ghinsu Version 3.0 User Manual.
April 1994.
ftp://ftp.cis.ufl.edu/pub/faculty/pel/tech_reports/manual3.0.ps.gz
Bal93
Thomas Jaudon Ball. The Use of Control-Flow and Control-Dependence
in Software Tools. PhD thesis, Computer Sciences Department, University
of Wisconsin, Madison, 1993.
BE93
Jon Arthur Beck y David Eichmann. Program and interface slicing
for reverse engineering. In Proceedings of the 15th International
Conference on Software Engineering, pages 509-518, Baltimore, MD, Mayo
1993.
Bec93a
Jon Arthur Beck. Interface Slicing: A Static Program Analysis
Tool for Software Engineering. PhD thesis, West Virginia University,
Abril 1993.
ftp://rbse.jsc.nasa.gov/publications/beck/diss.ps
Bec93b
Jon Arthur Beck. A survey of program slicing for software engineering.
Technical report, West Virginia University, Morgantown WV, Abril 1993.
ftp://rbse.jsc.nasa.gov/publications/beck/slicing-survey.deliv.ps
Ber95
Valdis Berzins. Software Merging and Slicing. IEEE Computer
Society Press, Los Alamitos, 1995.
BG96
David Binkley y Keith Brian Gallagher. Program slicing.
In Advances in Computers, 1996.
BG97
Rastislav Bodík y Rajiv Gupta. Partial Dead Code Elimination
using Slicing Transformations.In Proceedings of the
ACM SIGPLAN ‘97: Conference on Programing Languaje Design and Implementation
(PLDI), Las Vegas, Nevada, Junio 1997.
BH92
Thomas Jaudon Ball y Susan B. Horwitz. Slicing programs with
arbitrary control flow. Technical Report 1128, Computer Sciences
Department University of Wisconsin - Madison, 1210 West Dayton Street,
Madison, Wisconsin 53706 USA, Diciembre 1992.
BH93
Thomas Jaudon Ball y Susan B. Horwitz. Slicing programs with
arbitrary control flow. In Proceedings of the First International
Workshop on Automated and Algorithmic Debugging, volume 749 of Lecture
Notes in Computer Science, pages 206-222, Heidelberg, Mayo 1993. Springer-Verlag.
BHR95
David Binkley, Susan B. Horwitz, and Thomas W. Reps. Program
integration for languages with procedure calls. ACM Transactions
on Software Engineering and Methodology, 4(1):3-35, January 1995.
http://www.cs.wisc.edu/wpis/papers/tosem95.ps
Bin93a
David Binkley. Precise executable interprocedural slices.
ACM Letters on Programming Languages and Systems, 2(1-4):31-45, Diciembre
1993.
Bin93b
David Binkley. Slicing in the presence of parameter aliasing.
In proceedings of the 1993 Software Engineering Research Forum, páginas
261-268, Orlando, FL, Noviembre 1993.
BM92
Robert A. Ballence y Arthur B. Maccabe. Program dependence graph
for the rest of us.Tehnical Report 92-10, University of New Mexico,
Agosto 1992.
CF94
Jong-Deok Choi y Jeanne Ferrante. Static slicing in the presence
of goto statements. ACM Transactions on Programming Languages and
Systems, 16(4):1097-1113, Julio 1994.
CH96
Joseph J. Comuzzi y Johnson M. Hart. Program slicing using weakest
preconditions. In FME '96: Industrial Benefit and Advances in Formal
Methods, volume 1051 of Lecture Notes in Computer Science, pages 557-575,
Oxford, England, Marzo 1996. Springer.
http://www.peritus.com/pdf/wp-slice.pdf
Che97
Jingde Cheng. Dependence analysis of parallel and distributed programs
and its applications. In Proc. 1997 IEEE-CS International Conference on
Advances in Parallel and Distributed Computing, 1997.
http://babel.csce.kyushu-u.ac.jp/~cheng/papers/DA.APDC97.ps
CLV96
Filippo Cutillo, Filippo Lanubile, y G. Visaggio. Using program
slicing for software comprehension. 1996.
Cro94
Stephen Croll. Towards an internal program representation: The
ghinsu core. Master's thesis, University of Florida, 1994.
CWZ90
D. Chase, M. Wegman y F. Zadeck. Analysis of Pointers and Atructures.
Proceedings of the ACM SIGPLAN’90 Conference on Programing Languaje Design
and Implementation, páginas 296-309, White Plains, New York, Junio
1992.
DHS95
Sebastian Danicic, Mark Harman, y Yoga Sivagurunathan. A parallel
algorithm for static program slicing. Information Processing Letters,
56(6):307-313, Diciembre1995.
http://www.unl.ac.uk/~mark/papers/ipl.ps.gz
DLFM96
Andrea De Lucia, Anna Rita Fasolino, y Malcolm Munro. Understanding
function behaviors through program slicing. In Proceedings of the
Fourth Workshop on Program Comprehension, Berlin, Germany, Marzo 1996.
http://orca.unl.ac.uk/~mark/delucia.ps
DS96
M. Ducassé y S. Schoenig. A backward slicing algorithm
for prolog. In Static Analysis; Third International Symposium,
SAS'96, volume 1145 of Lecture Notes in Computer Science, Aachen, Septiembre
1996. Springer Verlag.
http://www.irisa.fr/lande/ducasse/schoenig-ducasse-sas96.ps.gz
DT97a
T.B. Dinesh y Frank Tip. A case study of a slicing-based approach
for locating type errors. In Proceedings of the Second International
Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97),
Septiembre 1997.
DT97b
T.B. Dinesh y Frank Tip. A slicing-based approach for locating
type errors.
In Proceedings of the USENIX Conference on Domain-Specific Languages
(DSL'97), pages 77-88, 1997.
Ern94a
Michael D. Ernst. Slicing pointers and procedures. Technical
Report MSR-TR-95-23, Microsoft Research, Redmond, WA, Abril 1994.
Ern94b
Michael D. Ernst. Practical fine-grained static slicing of optimized
code. Technical Report MSR-TR-94-14, Microsoft Research, Redmond,
WA, Julio 1994.
ftp://ftp.research.microsoft.com/pub/analysts/slicing.ps
FB97
Istvan Forgacs y Antonia Bertolino. Feasible test path selection
by principal slicing. In Proceedings of the Sixth European Software
Engineering Conference (ESEC/FSE 97), volume 1301of Lecture Notes in Computer
Science, pages 378-394, Septiembre 1997.
FG97
Istvan Forgacs y Tibor Gyimóthy. An efficient interprocedural
slicing method for large programs. In Proceedings of SEKE'97, pages
279-287, Madrid, Spain, 1997.
FOW87
Jeanne Ferrante, Karl J. Ottenstein, y Joe D. Warren. The program
dependence graph and its use in optimization. ACM Transactions
on Programming Languages and Systems, 9(3):319-349, Julio 1987.
FRT95
John Field, G. Ramalingam, y Frank Tip. Parametric program slicing.
In Conference Record of the 22nd ACM Symposium on Principles of Programming
Languages, pages 379-392, San Francisco, CA, Enero 1995. ACM Press.
FT94
John Field y Frank Tip. Dynamic dependence in term rewriting
systems and its application to program slicing. In M. Hermenegildo
and J. Penjam, editors, Proceedings of the Sixth International Symposium
on Programming Language Implementation and Logic Programming, volume 844
of Lecture Notes in Computer Science, pages 415-431. Springer-Verlag, 1994.
GL91
Keith Brian Gallagher y James R. Lyle. Using program slicing
for software maintenance. IEEE Transactions on Software Engineering,
17(8):751-761, Agosto 1991.
GP96
Tibor Gyimóthy y Jukka Paakki. Static slicing of logic
programs. In 2nd International Workshop on Automated and Algorithmic
Debugging (AADEBUG), pages 87-103, Saint Malo, France, Mayo 1996.
HD94
Mark Harman y Sebastian Danicic. A new approach to program slicing.
In 7th International Software Quality Week, San Francisco, Mayo 1994.
HD95
Mark Harman y Sebastian Danicic. Using program slicing to simplify
testing. Software Testing, Verification and Reliability, 5:143-162,
Septiembre 1995.
http://www.unl.ac.uk/~mark/papers/stvr95.ps.gz
HD97
Mark Harman y Sebastian Danicic. Amorphous program slicing.
In Fifth International Workshop on Program Comprehension, Dearborn, Michigan,
USA, Mayo 1997.
HDJ+95
Mark Harman, Sebastian Danicic, Barry Jones, Bala Sivagurunathan, y
Yoga Sivagurunathan. Project project: Tools for program analysis
and comprehension. In 4th Software Quality Conference, pages 133-157,
University of Abertay-Dundee, Dundee, Julio 1995.
http://www.unl.ac.uk/~mark/papers/sqc95.ps.gz
HDS95a
Mark Harman, Sebastian Danicic, y Yoga Sivagurunathan. Program
comprehension assisted by slicing and transformation. In 1st. Durham
Workshop on Program Comprehension. Durham University, Julio 1995.
HDS95b
Mark Harman, Sebastian Danicic, y Yoga Sivagurunathan. A parallel
algorithm for static program slicing. Technical report, School
of Computing, University of North London, Eden Grove, London, N7 8DB, 1995.
http://www.unl.ac.uk/~mark/papers/tecrepts/parslice.ps.gz
HKF96
Tommy Hoffner, Mariam Kamkar, y Peter Fritzson. Evaluation of
program slicing tools. In 2nd International Workshop on Automated
and Algorithmic Debugging
(AADEBUG), pages 51-69, Saint Malo, France, Mayo 1996.
HMR93a
Mary Jean Harrold, Brian Malloy, y Gregg Rothermel. Constructing
program dependence graphs using a parser. Technical Report 93-117,
Department of Computer Science, Clemson University, Clemson, SC 29634-1906,
Noviembre 1993.
HMR93b
Mary Jean Harrold, Brian Malloy, y Gregg Rothermel. Efficient
construction of program dependence graphs. Technical Report 93-102,
Department of Computer Science, Clemson University, Clemson, SC 29634-1906,
Enero 1993.
ftp://ftp.cs.clemson.edu/techreports/93-102.ps.Z
HMR93c
Mary Jean Harrold, Brian Malloy, y Gregg Rothermel. Efficient
construction of program dependence graphs. In Proceedings of the
1993 International Symposium on Software Testing and Analysis (ISSTA),
pages 160-170, Cambridge, Massachusetts, USA, Junio 1993. ACM Software
Engineering Notes 18(3).
Hof95
Tommy Hoffner. Evaluation and comparison of program slicing tools.
Technical Report LiTH-IDA-R-95-01, Department of Computer and Information
Science, Linköping University, Sweden., 1995.
http://www.ida.liu.se/publications/cgi-bin/tr-fetch.pl?r-95-01+ps
HPR88
Susan B. Horwitz, Jan Prins, y Thomas W. Reps. On the adequacy
of program dependence graphs for representing programs. In Conference
Record of the Fifteenth Annual ACM Symposium on Principles of Programming
Languages, pages 146-157, 1988.
http://www.cs.wisc.edu/wpis/papers/popl88b.ps
HPR89
S. Horwitz, J. Prins, y T. Reps. Integrating noninterfering versions
of Programs. ACM Transactions on Programming Languages and Systems,
11(3):345-387, Julio 1989.
HR92
Susan B. Horwitz y Thomas W. Reps. The use of program dependence
graphs in software engineering. In Proceedings of the Fourteenth
International Conference on Software Engineering, Melbourne, Australia,
Mayo 1992.
http://www.cs.wisc.edu/wpis/papers/icse92.ps
HRB88
Susan B. Horwitz, Thomas W. Reps, y David Binkley. Interprocedural
slicing using dependence graphs. In Proceedings of the ACM SIGPLAN
'88 Conference on Programming Language Design and Implementation, volume
23(7) of ACM SIGPLAN
Notices, pages 35-46, Atlanta, GA USA, Julio 1988.
HRB90
Susan B. Horwitz, Thomas W. Reps, y David Binkley. Interprocedural
slicing using dependence graphs. ACM Transactions on Programming
Languages and Systems, 12(1):26-60, Enero 1990.
HSD95
Mark Harman, Dan Simpson, y Sebastian Danicic. Slicing programs
in the presence of errors. Formal Aspects of Computer Science,
1995.
http://www.unl.ac.uk/~mark/papers/facsj.ps.gz
JR94a
Daniel Jackson y Eugene J. Rollins. Abstraction mechanisms for
pictorial slicing. In Proceedings of the IEEE Workshop on Program
Comprehension, Washington, DC, Noviembre 1994.
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/chopshop/pub/papers/wpc94.ps
JR94b
Daniel Jackson y Eugene J. Rollins. Chopping: A generalization
of slicing. Technical Report CMU-CS-94-169, School of Computer
Science, Carnegie Mellon University, Pittsburgh, PA 15213, Julio 1994.
ftp://reports.adm.cs.cmu.edu/usr/anon/1994/CMU-CS-94-169.ps
JR94c
Daniel Jackson y Eugene J. Rollins. A new model of program dependences
for reverse engineering. In SIGSOFT'94: Proceedings of the Second
ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages
2-10, New Orleans, LA, Deciembre 1994. ACM Software Engineering Notes 19(5).
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/chopshop/pub/papers/fse94.ps
JZR91
Jingyue Jiang, Xiling Zhou, y David J. Robson. Program slicing
for C--the problems in implementation. In Proc. IEEE Int'l Conf.
Software Maintenance, pages 182-190, 1991.
KKP+81
D. J. Kuck, R. H. Kuhn, D. A. Padua, B. Leasure, y M. Wolfe.
Dependence graphs and compiler optimizations. In Conference Record
of the Eighth Annual ACM Symposium on Principles of Programming Languages,
pages 207-218, Williamsburg, Virginia, Enero 1981.
KL88
Bogdan Korel y J. Laski. Dynamic program slicing. Information
Processing Letters, 29(3):155-163, Octubre 1988.
Kor96
Bogdan Korel. Computation of dynamic slices for programs with
arbitrary control-flow. In 2nd International Workshop on Automated
and Algorithmic Debugging (AADEBUG), pages 71-86, Saint Malo, France, Mayo
1996.
KR97
Bogdan Korel y Jurgen Rilling. Application of dynamic slicing
in program debugging. In Proceedings of the Third International
Workshop on Automatic Debugging (AADEBUG'97), Linköping, Sweden, Mayo
1997.
http://www.ep.liu.se/ea/cis/1997/009/05/
Kri94
Anand Krishnaswamy. Program slicing: An application of object-oriented
program dependency graphs. Technical Report 94-108, Dept. of Computer
Science, Clemson University, Julio 1994.
ftp://ftp.cs.clemson.edu/techreports/94-108.ps.Z
Kri98
Jens Krinke. Static slicing of threaded programs. In
Proc. ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools
and Engineering (PASTE'98), pages 35-42, Montreal, Canada, Junio 1998.
ACM SIGPLAN Notices 33(7).
KS98
Jens Krinke y Gregor Snelting. Validation of measurement software
as an application of slicing and constraint solving. Information
and Software Technology, 40(12), Deciembre 1998.
KSG95
Bradley M. Kuhn, Dennis J. Smith, y Keith Brian Gallagher. The
decomposition slice display system. In The Seventh International
Conference on Software Engineering and Knowledge Engineering, Rockville,
MD, USA, June 1995.
http://www.cis.udel.edu/~bkuhn/text/DSDS/index.html
KY94
Bogdan Korel and Satish Yalamanchili. Forward computation of
dynamic program slices. In Proceedings of the 1994 International
Symposium on Software Testing and
Analysis (ISSTA), Seattle, Washington, Augosto 1994.
LA94
Panos E. Livadas y Scott D. Alden. A toolset for program understanding.
Technical report, Computer and Information Sciences, University of Florida,
Gainesville, FL 32611, 1994.
ftp://ftp.cis.ufl.edu/pub/faculty/pel/tech_reports/toolset.ps.gz
Lak91
Arun Lakhotia. Graph theoretic foundations of program slicing
and integration.
Technical Report CACS TR91-5-5, The Center for Advanced Computer Studies,
University of Southwestern Louisian, Lafayette, LA 70504, 1991.
ftp://basin.cacs.usl.edu/pub/uslstuff/srl/TR-91-5-5.ps.Z
Lak92
Arun Lakhotia. Improved interprocedural slicing algorithm.
Technical Report CACS TR-92-5-8, The Center for Advanced Computer Studies,
University of Southwestern Louisian, Lafayette, LA 70504, 1992.
ftp://basin.cacs.usl.edu/pub/uslstuff/srl/TR-92-5-8.ps.Z
LB93
James R. Lyle y David Binkley. Program slicing in the presence
of pointers. In proceedings of the 1993 Software Engineering Research
Forum, páginas 255-260, Orlando, FL, Noviembre 1993.
http://www.cs.loyola.edu/~binkley/papers/serf93.ps
LC92
Panos E. Livadas y Stephen Croll. Program slicing. Technical
Report SERC-TR-61-F, Software Engineering Research Centre, Octubre 1992.
ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/maintenance/TR61F.PS.Z
LC94a
Panos E. Livadas y Stephen Croll. A new algorithm for the calculation
of transitive dependences. Technical report, Computer and Information
Sciences Department, University of Florida, Gainesville, FL 32611, 1994.
ftp://ftp.cis.ufl.edu/pub/faculty/pel/tech_reports/recursion.ps.gz
LC94b
Panos E. Livadas y Stephen Croll. System dependence graphs based
on parse trees and their use in software maintenance. Technical
report, Computer and Information Sciences Department, University of Florida,
Gainesville, FL 32611, 1994.
ftp://ftp.cis.ufl.edu/pub/faculty/pel/tech_reports/slicing.ps.gz
LH95
Loren D. Larsen y Mary Jean Harrold. Slicing object-oriented
software.
Technical Report 95-103, Department of Computer Science, Clemson University,
Marzo 1995.
ftp://ftp.cs.clemson.edu/techreports/95-103.ps.Z
LH96
Loren D. Larsen y Mary Jean Harrold. Slicing object-oriented
software.
In Proceedings of the 18th International Conference on Software Engineering,
pages 495-505, Berlin, March 1996.
Liv91
Panos E. Livadas. The C-ghinsu tool. Technical Report
SERC-TR-49-F, Software Engineering Research Centre, Marzo 1991.
LJ95
Panos E. Livadas y Theodore Johnson. An optimal algorithm for
the construction of the system dependence graph. Technical report,
Computer and Information Sciences Department, University of Florida, Gainesville,
FL, 1995.
LR94
Panos E. Livadas y Adam Rosenstein. Slicing in the presence of
pointer variables. Technical report, Computer and Information Sciences
Department, University of Florida, Gainesville, FL 32611, 1994.
LS94
Panos E. Livadas y David T. Small. Understanding Code Containing
Preprocessor Constructs. Technical report, Computer and Information
Sciences Department, University of Florida, Gainesville, FL 32611, 1994.
LV93
Filippo Lanubile and Giuseppe Visaggio. Function recovery based
on program slicing. In David Card, editor, Proceedings of the Conference
on Software Maintenance, pages 396-405, Washington, September 1993. IEEE
Computer Society Press.
ftp://seldi.uniba.it/pub/papers/csm93.ps
LV96
Filippo Lanubile y Giuseppe Visaggio. Extracting reusable functions
by program slicing. Technical Report CS-TR-3594, University of
Maryland, College Park, Enero 1996.
http://www.cs.umd.edu/users/lanubile/papers/CS-TR-3594.ps
LV97
Filippo Lanubile y Giuseppe Visaggio. Extracting reusable functions
by program slicing. IEEE Transactions on Software Engineering,
23(4):246-259, Abril 1997.
LWG+95
James R. Lyle, Dolores R. Wallace, James R. Graham, Keith Brian Gallagher,
Joseph P. Poole, y David W. Binkley. Unravel: A case tool to assist
evaluation of high integrity software. Technical Report 5691, National
Institute of Standards and Technology, Gaithersburg, MD 20899, Agosto 1995.
NEK94
Jim Q. Ning, Andre Engberts, y W. (Voytek) Kozaczynski. Legacy
code understanding. Communications of the ACM, 37(5):50-57, Mayo
1994.
OO84
Karl J. Ottenstein y Linda M. Ottenstein. The program dependence
graph in a software development environment. In Proceedings of
the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software
Development Environments, volume 19(5) of ACM SIGPLAN Notices, pages 177-184,
1984.
Rep93
Thomas W. Reps. The Wisconsin Program-Integration System Reference
Manual: Release 2.0. Computer Sciences Department, University of
Wisconsin-Madison, Julio 1993.
http://www.cs.wisc.edu/wpis/papers/manual.2.0.ps
RHS95
Thomas W. Reps, Susan B. Horwitz, y Mooly Sagiv. Precise interprocedural
dataflow analysis via graph reachability. In Conference Record
of the Twenty-Second ACM Symposium on Principles of Programming Languages,
pages 49-61, San Francicso, CA, January 1995.
http://www.cs.wisc.edu/wpis/papers/popl95.ps
RHSR94
Thomas W. Reps, Susan B. Horwitz, Mooly Sagiv, y Genevieve Rosay. Speeding
up slicing. In SIGSOFT'94: Proceedings of the Second ACM SIGSOFT
Symposium on the Foundations of Software Engineering, páginas 11-20,
New Orleans, LA, Diciembre 1994. ACM Software Engineering Notes 19(5).
RR95
Thomas W. Reps y Genevieve Rosay. Precise interprocedural chopping.
In SIGSOFT'95: Proceedings of the Third ACM SIGSOFT Symposium on the Foundations
of Software Engineering, Washington, DC, Octubre 1995.
http://www.cs.wisc.edu/wpis/papers/fse95b.ps
RSH94
Thomas W. Reps, Mooly Sagiv, y Susan Horwitz. Interprocedural
dataflow analysis via graph reachability. Technical Report 94/14,
DIKU, University of Copenhagen, Denmark, 1994.
ftp://ftp.diku.dk/pub/diku/semantics/papers/D-215.ps.Z
RT96
Thomas W. Reps y Todd Turnidge. Program specialization via program
slicing. In O. Danvy, R. Glueck, and P. Thiemann, editors, Proceedings
of the Dagstuhl Seminar on Partial Evaluation, Lecture Notes in Computer
Science, Schloss Dagstuhl, Wadern, Germany, Febrero 1996. Springer-Verlag.
http://www.cs.wisc.edu/wpis/papers/tr1296.ps
Ruf95
Erik Ruf. Optimizing sparse representations for dataflow analysis.
In Proceedings of the ACM SIGPLAN Workshop on Intermediate Representations
(IR '95), number 30(3) in ACM SIGPLAN Notices, San Francisco, CA, Enero
1995.
RY88
Thomas W. Reps y Wuu Yang. The semantics of program slicing.
Technical Report TR 777, Computer Sciences Department, University of Wisconsin-Madison,
Junio 1988.
SH95
Anthony M. Sloane y Jason Holdsworth. Beyond traditional program
slicing. Technical Report 95/8, Department of Computer Science,
James Cook University, Townsville, QLD, 4811 AUSTRALIA, 1995.
http://www.cs.jcu.edu.au/ftp/pub/techreports/95-8.ps.gz
Sne96
Gregor Snelting. Combining slicing and constraint solving for
validation of measurement software. In Static Analysis; Third International
Symposium, SAS'96, volume 1145 of Lecture Notes in Computer Science, Aachen,
Septiembre 1996. Springer Verlag.
Ste94
Bjarne Steensgaard. CDGs and their mutations. Octubre
1994.
http://research.microsoft.com/%7Erusa/cdgs/default.htm
Ste95
Bjarne Steensgaard. Sparse functional stores for imperative programs.
In Proceedings of the ACM SIGPLAN Workshop on Intermediate Representations
(IR '95), volume 30(3) of ACM SIGPLAN Notices, pages 62-70, San Francisco,
CA, Enero 1995.
Ste97
Christoph Steindl. Program slicing for large systems.
In ReTIS`97. Proc. 5th International Conference on Re-Technologies for
Information Systems, páginas 131-143. Österreichische Computer
Gesellschaft, 1997.
Ste98
Christoph Steindl.
Intermodular slicing of object-oriented programs. In
International Conference on Compiler Construction (CC'98), 1998.
http://oberon.ssw.uni-linz.ac.at/Staff/CS/cs_public/slicing/intermodular.ps
TCFR96
Frank Tip, Jong-Deok Choi, John Field, y G. Ramalingam. Slicing
class hierarchies in C++. In Proceedings of the 11th Annual Conference
on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'96),
volume 31 of ACM SIGPLAN Notices, San Jose, Octubre 1996. ACM Prss.
Tip94
Frank Tip. A survey of program slicing techniques. Technical
Report CS-R9438, Centrum voor Wiskunde en Informatica (CWI), CWI, P.O.
Box 94079, 1090 GB Amsterdam, The Netherlands, Julio 1994.
Tip95a
Frank Tip. Generation of Program Analysis Tools.
PhD thesis, University of Amsterdam, 1995.
Tip95b
Frank Tip. Generic techniques for source-level debugging and
dynamic program slicing. In Peter D. Mosses, Mogens Nielsen, and
Michael I. Schwartzbach, editors,
Proceedings of the Sixth International Joint Conference on Theory and
Practice
of Software Development, volume 915 of Lecture Notes in Computer Science,
pages 516-530, Aarhus, Denmark, Mayo 1995. Springer-Verlag.
Tip95c
Frank Tip. A survey of program slicing techniques. Journal
of Programming Languages, 3(3):121-189, September 1995.
Ven91
G. A. Venkatesh. The semantic approach to program slicing.
In Proceedings of the ACM SIGPLAN '91 Conference on Programming Language
Design and Implementation, volume 26(6), pages 107-119, Junio 1991.
WCES94a
Daniel Weise, Roger F. Crew, Michael D. Ernst, y Bjarne Steensgaard.
Value dependence graphs: Representation without taxation.
In Conference Record of the Twenty First Annual ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, pages 297-310, Enero 1994.
WCES94b
Daniel Weise, Roger F. Crew, Michael D. Ernst, y Bjarne Steensgaard.
Value dependence graphs: Representation without taxation.
Technical Report MSR-TR-94-03, Microsoft Research, Redmond, WA, Abril 1994.
ftp://ftp.research.microsoft.com/pub/analysts/vdg.ps
Wei79
Mark Weiser. Program slices: formal, psychological, and practical
investigations of an automatic program abstraction method. PhD
thesis, University of Michigan, Ann Arbor, 1979.
Wei82
Mark Weiser. Programmers use slices when debugging. Communications
of the ACM, 25(7):446-452, 1982.
Wei84
Mark Weiser. Program slicing. IEEE Transactions on Software
Engineering, 10(4):352-357, Julio 1984.
WL86
Mark Weiser y James R. Lyle. Experiments on slicing-based debugging
aids.
In Empirical Studies of Programmers, pages 187-197. Ablex Publishing,
1986.
ZCU96
Jianjun Zhao, Jingde Cheng, and K. Ushijima. Static slicing of
concurrent object-oriented programs. In Proceedings of the 20th
IEEE Annual International Computer Software and Applications Conference
(COMPSAC'96), pages 312-320, Seoul, Korea, Agosto 1996.
ZCU97
Jianjun Zhao, Jingde Cheng, y K. Ushijima. Slicing concurrent
logic programs.
In T. Ida, A. Ohori, and M. Takeichi, editors, Second Fuji International
Workshop
on Functional and Logic Programming, pages 143-162, 1997.
Zha97
Jianjun Zhao. Software architecture slicing. In Proc.
14th Annual Conference of Japan Society for Software Science and Technology
(JSSST'97), pages 49-52, Ishigawa, Japan, Septiembre 1997.
http://www.fit.ac.jp/~zhao/personal/ps/jssst97.ps
Más bibliografía? ir a Computer Science Bibliography Collection
