Home General Staff Contact Partners Alumni Research Areas Projects Papers Books Reports Awards Teaching Lectures Exams B.Theses M.Theses PhD Theses Go Abroad Misc Talks Library Gallery Links Search Webmaster |
Program Slicing (2) - Computation of Data Flow InformationChristoph Steindl Abstract
We implemented a program slicing tool for static backward slicing
of object-oriented programs written in the programming language
Oberon-2. Program slicing uses control flow and data flow
information to visualise dependences and assist the programmer
in debugging and in program understanding. We did not restrict
the language in any kind which means that we had to cope with
structured types (records and arrays), global variables of any
type, objects on the heap, side-effects of function calls, nested
procedures, recursion, dynamic binding due to type-bound
procedures (methods) and procedure variables (function pointers),
and modules.
Technical Report 12, Institute for Practical Computer Science, Johannes Kepler University Linz, Austria, March 1998. |