A Denotational Interprocedural Program Slicer

Authors:
L. Ouarbya;S. Danicic;M. Daoudi;M. Harman;C. Fox
Affiliations:
-;-;-;-;-
Venue:
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Year:
2002

Citing 0
Cited 4

Syntax-Directed Amorphous Slicing

Automated Software Engineering
Modular Monadic Program Slicing

COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A brief survey of program slicing

ACM SIGSOFT Software Engineering Notes
A monadic program slicer

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.03

Visualization

Abstract

This paper extends a previously developed intraproceduraldenotational program slicer to handle procedures.Using the denotational approach, slices can be defined interms of the abstract syntax of the object language withoutthe need of a control flow graph or similar intermediatestructure.The algorithm presented here is capable of correctlyhandling the interplay between function and procedurecalls, side-effects, and short-circuit expression evaluation.The ability to deal with these features is required in reverseengineering of legacy systems, where code often containsside-effects.