An extensible program representation for object-oriented software

1 December 1994

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices

Vol. 29 (12) , 38-47
https://doi.org/10.1145/193209.193218

Abstract

An extensible representation for object-oriented programs is presented. It is based on the concept of a program dependency graph and elaborated to include both control flow and data flow information. The representation takes advantage of the basic incremental philosophy of the object-oriented approach to develop a more compact representation that is useful with practical programs. The basic approach reported here provides a static view of an object-oriented program. The approach can be expanded to provide dynamic information for tools such as interactive debuggers and other runtime tools. The outline of this extension is also presented.

Keywords

This publication has 12 references indexed in Scilit:

Using semantic differencing to reduce the cost of regression testing
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Efficient construction of program dependence graphs
Published by Association for Computing Machinery (ACM) ,1993
A unified interprocedural program representation for a maintenance environment
IEEE Transactions on Software Engineering, 1993
Dynamic slicing in the presence of unconstrained pointers
Published by Association for Computing Machinery (ACM) ,1991
Understanding object-oriented: a unifying paradigm
Communications of the ACM, 1990
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems, 1990
Dynamic program slicing
Published by Association for Computing Machinery (ACM) ,1990
The program summary graph and flow-sensitive interprocedual data flow analysis
Published by Association for Computing Machinery (ACM) ,1988
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems, 1987
The program dependence graph in static program testing
Information Processing Letters, 1987