Bibliografía (121 referencias)

Esta es una recopilación de referencias bibliográficas sobre slicing y temas relacionados. En algunas referencias se indica la URL donde puede obtenerse. Si lo que buscas no está aquí (lo dudo) te recomiendo ir a Computer Science Bibliography Collection, una colección bibliográfica im-pre-sio-nan-te!!

 

ADS90
Hiralal Agrawal, Richard A. DeMillo, y Eugene H. Spafford. Efficient debugging with slicing and backtracking.  Technical Report SERC-TR-80-P, Software Engineering Research Centre, Purdue University, Octubre 1990.
ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/debugger/TR90P.PS.Z
 
ADS91a
Hiralal Agrawal, Richard A. DeMillo, y Eugene H. Spafford. Dynamic slicing in the presence of pointers, arrays and records. In Proceedings of the ACM Fourth Symposium on Testing, Analysis and Verification (TAV4), pages 60-73, Octubre 1991.

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
 


http://www.ucse.edu.ar/fma/slicing

Última actualización: 11/02/2001

(c) Salvador V. Cavadini - slicing@ucse.edu.ar

Universidad Católica de Santiago del Estero, Santiago del Estero, Argentina.