Abstract
In this paper a hierarchical graph model for programs based on the concepts of recursive graphs (RG‘s) and Codd relations ispresented. The purpose of the model is to clearly represent the structure of a program implemented in a structured language, such as Pascal, Algol, or PL/1, so that the program can be analyzed and modifications to the program can be clearly specified. The model uses an RGrepresentation for the control flow and the data flow with an equivalent relational representation. It also has a relational representation for the objects defined within the program. The various aspects of the model are illustrated using Pascal constructs and a model for an example Pascal program is given.
Original language | English (US) |
---|---|
Pages (from-to) | 556-574 |
Number of pages | 19 |
Journal | IEEE Transactions on Software Engineering |
Volume | SE-7 |
Issue number | 6 |
DOIs | |
State | Published - Nov 1981 |
Externally published | Yes |
Keywords
- Codd relations
- control flow
- data flow
- graph grammar
- hierarchical graphs
- program analysis
- program model
- program modifications
- program objects
- recursive graph
ASJC Scopus subject areas
- Software