IEEE Transactions on Software Engineering · 1981 · 24 citations · 26 references
ComputingComputer ScienceAlgorithmsProgramming LanguagesSoftware EngineeringAbstract Syntax TreesControl-flow AnalysisData-flow AnalysisDiagrammatic RepresentationGraphical RepresentationRecursion TheoryAbstract Syntax Tree RepresentationData Flow PatternsGraph-based Programming ModelsProgram DiagramsProgram RepresentationRelational AnalysisRelational Semantics
In this paper a hierarchical graph model for programs based on the concepts of recursive graphs (RG's) and Codd relations is presented. 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 RG representation for the control flow and the data flow with an equivalent relational representation. It also has a relational representation for the objects defmed within the program. The various aspects of the model are illustrated using Pascal constructs and a model for an example Pascal program is given.
26
A relational model of data for large shared data banks
E. F. Codd · Communications of the ACM · 1970 · 5.2K citations · Full text
A relational model of data for large shared data banks
E. F. Codd · Communications of the ACM · 1983 · 4.8K citations
The programming language pascal
Niklaus Wirth · Acta Informatica · 1971 · 723 citations