SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

teaching:labs:xp:2004b:talkprogramslicing [2018/05/09 01:59] (current)
Line 1: Line 1:
 +
 +=====  Andreas L.'s [[talks|talk]] about Program Slicing =====
 +
 +====  The slides are now available: ​ ====
 +{{doc.programslicing.ppt|programSlicing.ppt}}
 +====  Resources ​ ====
 +
 +  * M. Weiser: [[http://​www.cs.umd.edu/​class/​spring2003/​cmsc838p/​code/​slicing.pdf|Program slicing ]]\\ In //​Proceedings of the 5th International Conference on Software Engineering//,​ pages 439-449. IEEE Computer Society Press. Mar. 1981\\ ​
 +  * [[http://​www.ssw.uni-linz.ac.at/​general/​staff/​cs|Dipl.-Ing. Dipl.-Ing. Dr. C. Steindl]]\\ Institut für Systemsoftware,​ Johannes Kepler Universität Linz (Österreich)
 +    * [[http://​www.ssw.uni-linz.ac.at/​research/​projects/​programslicing/​dissertation/​thesis.pdf|Program Slicing for Object-Oriented Programming Languages]],​\\ Dissertation Informatik April 1999 (Johannes Kepler Universität,​ Linz) 
 +    * [[http://​www.ssw.uni-linz.ac.at/​research/​projects/​programslicing/​ecoop99/​phdoos.ws/​submission.ps|Static Analysis of Object-Oriented Programs]],​\\ On //9th ECOOP Workshop for PhD Students in Object-Oriented Programming//,​ Lisbon, Portugal, June 14-15, 1999.
 +    * [[:​ftp:​..ftp.ssw.uni-linz.ac.at.pub.reports.report11.ps.z|Program Slicing(1) - Data Structures and Computation of Control Flow Information]]\\ Technical Report 11, Institute for Practical Computer Science, Johannes Kepler Universität Linz, Austria, March 1998.
 +    * [[:​ftp:​..ftp.ssw.uni-linz.ac.at.pub.reports.report12.ps.z|Program Slicing(2) - Computation of Data Flow Information]]\\ Technical Report 12, Institute for Practical Computer Science, Johannes Kepler Universität Linz, Austria, March 1998.\\ ​
 +  * [[http://​www.fit.ac.jp/​~zhao|Jianjun Zhao]]\\ Associate Professor, Software Theory and Practice Laboratory, Department of Computer Science and Engineering,​ Fukuoka Institute of Technology, Japan
 +    * [[http://​www.fit.ac.jp/​~zhao/​pub/​ps/​compsac2000.pdf|Dependence Analysis of Java Bytecode]]\\ In //​Proceedings of the 24th IEEE Annual International Computer Software and Applications Conference//​
 +    * [[http://​www.fit.ac.jp/​~zhao/​pub/​ps/​iwpc99.pdf|Slicing Concurrent Java Programs]]\\ In //​Proceedings of the 7th IEEE International Workshop on Program Comprehension//,​ pp. 126-133, May 1999.
 +    * [[http://​www.fit.ac.jp/​~zhao/​pub/​ps/​se-tr98-119.pdf|Dynamic Slicing of Object-Oriented Programs]]\\ Technical-Report SE-98-119, pp.17-23, Information Processing Society of Japan (IPSJ), May 1998.
 +    * (together with Cheng, Ushijima) [[http://​www.fit.ac.jp/​~zhao/​pub/​ps/​compsac96.pdf|Static Slicing of Concurrent Object-Oriented Programs]]\\ In //​Proceedings of the 20th IEEE Annual International Computer Software and Applications Conference//,​ pp. 312-320, August 1996.\\ ​
 +  * D. Binkley, K. B. Gallagher: [[http://​www.cs.loyola.edu/​~binkley/​papers/​advances_in_computers96.ps|Program Slicing]]\\ In //Advances in Computers//,​ Volume 43, 1996
 +  * M. Allen, S. Horwitz: [[http://​www.cs.wisc.edu/​wpis/​papers/​pepm03.ps|Slicing Java programs that throw and catch exceptions]]\\ In //​Proceedings of the ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics Based Program Manipulation//,​ June 2003.
 +  * S. Kumar, S. Horwitz: [[http://​www.cs.wisc.edu/​wpis/​papers/​fase02.ps|Better slicing of programs with jumps and switches]]\\ ​ In //​Proceedings of FASE 2002: Fundamental Approaches to Software Engineering//,​ Grenoble (France), April 2003.
 +  * R. Komondoor, S. Horwitz: [[http://​www.cs.wisc.edu/​wpis/​papers/​sas01.ps|Using slicing to identify duplication in source code]]\\ In //​Proceedings of the 8th International Symposium on Static Analysis//, Paris (France), July 2001.
 +  * S. Bates, S. Horwitz: [[http://​www.cs.wisc.edu/​wpis/​papers/​popl93.ps|Incremental program testing using program dependeny graphs]]\\ In //​Conference Record of the 20th ACM Symposium on Principles of Programming Languages//,​ Charleston, Januar 2003.
 +  * S. Horwitz, T. Reps, D. Binkley: [[http://​www.cs.wisc.edu/​wpis/​papers/​toplas90.ps|Interprocedural Slicing using dependency graphs]]\\ In //ACM Transactions on Programming Languages and Systems 12//, Januar 1990.
 +  * T. Reps, S. Horwitz, M. Sagiv, G. Rosay: [[http://​www.cs.wisc.edu/​wpis/​papers/​fse94.pdf|Speeding up slicing]]\\ In //SIGSOFT '94: Proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering//,​ New Orleans, Los Angeles (USA), December 1994\\ and //ACM SIGSOFT Software Engineering Notes 19, 5//, pp. 11-20, December 1994.
 +  * M. Ernst: [[:​ftp:​..ftp.research.microsoft.com.pub.tr.tr-94-14.ps|Practical Fine-Grained Static Slicing of Optimized Code]]\\ In //Microsoft Research//, July 1994.
 +  * M. Ernst: [[:​ftp:​..ftp.research.microsoft.com.pub.tr.tr-94-14.ps|Slicing Pointers and Procedures]]\\ In //Microsoft Research//, January 1995.
 +  * F. Tip: [[http://​citeseer.ist.psu.edu/​tip95survey.html|A Survey of Program Slicint Techniques ]], \\ //Journal of programming languages//,​ 3(3), September 1995. 
 +  * H. Agrawal: [[http://​www.argreenhouse.com/​papers/​hira/​pldi90.pdf|Dynamic Slicing]]\\ In //​Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation,​ White Plains, New York, New York (USA), pp. 246-256, June 1990\\ and in //SIGPLAN Notices//, pp. 246-256, Vol. 25, No. 6, June 1990.//
 +  * H. Agrawal: [[http://​www.argreenhouse.com/​papers/​hira/​tav91.pdf|Dynamic Slicing in Presence of Unconstrainted Pointers]]\\ In //​Proceedings of the ACM SIGSOFT '91 Symposium on Software Testing, Analysis and Verification (TAV4)//, pp. 60-73, Victoria, British Columbia (Can.), October 1991.
 +  * H. Agrawal: [[http://​www.argreenhouse.com/​papers/​hira/​spe93.pdf|Debugging with Dynamic Slicing and Backtracking]]\\ In //​Software--Practice & Experience//,​ Vol. 23, No. 6, pp. 589-616, June 1993.
 +  * H. Agrawal: [[http://​www.argreenhouse.com/​papers/​hira/​pldi94.pdf|On Slicing Programs with Jump Statements]]\\ In //​Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation//,​ pp. 302-312, Orlando, Florida (USA), June 1994.\\ ​
 +  * Lists:
 +    * [[http://​www2.umassd.edu/​swpi/​slicing/​slicing.html]] ​
 +    * [[http://​www.infosun.fmi.uni-passau.de/​st/​staff/​krinke/​slicing/​]]
 +    * [[http://​www.cs.wisc.edu/​wpis/​html/​]]
 +  * Overview
 +  * Einführungen
 +    * [[http://​www.iste.uni-stuttgart.de/​ps/​lehre/​reengineering/​slicing.pdf]]:​ \\  Allgemeine Einführung in das Thema Slicing. Präsentation wahrscheinlich von einem Vortrag an der Uni Stuttgart. Ohne mündlicher Vortrag streckenweise unbrauchbar,​ aber als Überblick ganz angenehm. ​
 +  * [[http://​web.comlab.ox.ac.uk/​oucl/​research/​areas/​progtools/​projects/​nate/​nate.html|Nate,​ Oxford, Ran Ettinger, Mathieu Verbaere
 +]]
 +    * [[http://​web.comlab.ox.ac.uk/​oucl/​research/​areas/​progtools/​projects/​nate/​doc/​mscthesis.pdf]]
 +    * [[http://​web.comlab.ox.ac.uk/​oucl/​research/​areas/​progtools/​projects/​nate/​doc/​transferthesis.pdf]]
 +  * Refactoring and Program Slicing
 +    * [[http://​www.stsc.hill.af.mil/​crosstalk/​2004/​07/​0407sward.pdf]]
 +    * [[http://​ag-kastens.uni-paderborn.de/​lehre/​material/​seminar_refactoring/​semref-4-ausarbeitung.pdf]]
 +=== Attachments ===
 +  * {{talkprogramslicing.cultivate.ppt?​32|cultivate.ppt}}
  
teaching/labs/xp/2004b/talkprogramslicing.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2020