A graph-theoretic model for the description of flowcharts and programs is defined. It is shown that properties of directed graphs and the associated connection matrices can be used to detect errors and eliminate redundancies in programs. These properties are also used in the synthesis of composite programs. Finally, the model is expanded to take into account frequencies of execution of portions of a program, and a problem concerning optimum arrangement of a program in storage is solved
We propose the use of graph grammars as a theory to organize programming of highly-concurrent system...
In the approach to structural software metrics, software is modelled by means of flowgraphs. A tacit...
Abstract. Detection of infeasible code has recently been identified as a scalable and automated tech...
In this paper a model of a program, in which loops are graph cycles, is given. From that model, a pa...
Graph theory is applicable to the solving of problems in nearly every field of scientific study. The...
This paper presents some basic techniques for representation and analysis of software. We use the te...
Kowalski's connection graph method provides a representation for logic programs which allows for the...
this report is to investigate the representation of algorithms as data flow graphs and the lineariza...
In this study, an introduction is made about the creation of the idea of graph theory and it's impro...
It has been shown that the cycle picture of the directed graph of a computer program can be used to ...
The correctness of a sequential program can be shown by the anno-tation of its control flow graph wi...
Vita.An analysis of planar and nonplanar aspects of program flow is presented. Basic blocks of compu...
Abstract-The concept of a data flowgraph is formalized as a bipartite directed graph. Each execution...
Abstract: The main thesis of this paper is that intricate nature of software systems can, and in our...
In this paper, we use graph theory and Markov chain methods to determine the quality of a software p...
We propose the use of graph grammars as a theory to organize programming of highly-concurrent system...
In the approach to structural software metrics, software is modelled by means of flowgraphs. A tacit...
Abstract. Detection of infeasible code has recently been identified as a scalable and automated tech...
In this paper a model of a program, in which loops are graph cycles, is given. From that model, a pa...
Graph theory is applicable to the solving of problems in nearly every field of scientific study. The...
This paper presents some basic techniques for representation and analysis of software. We use the te...
Kowalski's connection graph method provides a representation for logic programs which allows for the...
this report is to investigate the representation of algorithms as data flow graphs and the lineariza...
In this study, an introduction is made about the creation of the idea of graph theory and it's impro...
It has been shown that the cycle picture of the directed graph of a computer program can be used to ...
The correctness of a sequential program can be shown by the anno-tation of its control flow graph wi...
Vita.An analysis of planar and nonplanar aspects of program flow is presented. Basic blocks of compu...
Abstract-The concept of a data flowgraph is formalized as a bipartite directed graph. Each execution...
Abstract: The main thesis of this paper is that intricate nature of software systems can, and in our...
In this paper, we use graph theory and Markov chain methods to determine the quality of a software p...
We propose the use of graph grammars as a theory to organize programming of highly-concurrent system...
In the approach to structural software metrics, software is modelled by means of flowgraphs. A tacit...
Abstract. Detection of infeasible code has recently been identified as a scalable and automated tech...
DOI
Add to ORKG