Graduation date: 1982The methodology of structured programming has\ud enabled rapid progress in many areas of theoretical\ud computer science. Structured programs are generally\ud easier to debug, test, prove and analyse. The development\ud of these achievements into commercially viable applications\ud and products has been slower than expected.\ud The primary reason is that most of the programs currently\ud in use are unstructured and theories based on assumed\ud structure are not relevant to them.\ud This paper describes a procedure for associating\ud statements in a program with the predicates that influence\ud their execution. This association is independent\ud of the structure of the program and it provides a\ud characterization of the...
Within the maintenance activity, a great deal of time is spent in the process of understanding unstr...
While software developers make every effort to develop correct, easily maintainable and efficient pr...
There is an intimate link between program structure and behaviour. Exploiting this link to phrase pr...
A review of published measures of control flow complexity in programs reveals three major deficienci...
AbstractGraph theory is used to model program control structures rigorously as flowgraphs. Formal me...
To guide the research efforts in the area of program analysis it is necessary to provide a taxonomy ...
In an effort to eliminate some inconveniences connected with Dijkstra's method of Structured Program...
Recent work in the area of software engineering has centered on the creation of sophisticated enviro...
This paper presents some basic techniques for representation and analysis of software. We use the te...
An operational data flow analysis framework for tracking controlling expressions of conditional bran...
An analysis method for specialization of imperative programs is described in this paper. This anal-y...
We compare the structural complexity of various classes of structured programs. To achieve this we c...
AbstractIrreducible program fowgraphs are important in the study of program structuredness. In this ...
This report presents a method for viewing complex programs as built up out of simpler ones. The ce...
In the approach to structural software metrics, software is modelled by means of flowgraphs. A tacit...
Within the maintenance activity, a great deal of time is spent in the process of understanding unstr...
While software developers make every effort to develop correct, easily maintainable and efficient pr...
There is an intimate link between program structure and behaviour. Exploiting this link to phrase pr...
A review of published measures of control flow complexity in programs reveals three major deficienci...
AbstractGraph theory is used to model program control structures rigorously as flowgraphs. Formal me...
To guide the research efforts in the area of program analysis it is necessary to provide a taxonomy ...
In an effort to eliminate some inconveniences connected with Dijkstra's method of Structured Program...
Recent work in the area of software engineering has centered on the creation of sophisticated enviro...
This paper presents some basic techniques for representation and analysis of software. We use the te...
An operational data flow analysis framework for tracking controlling expressions of conditional bran...
An analysis method for specialization of imperative programs is described in this paper. This anal-y...
We compare the structural complexity of various classes of structured programs. To achieve this we c...
AbstractIrreducible program fowgraphs are important in the study of program structuredness. In this ...
This report presents a method for viewing complex programs as built up out of simpler ones. The ce...
In the approach to structural software metrics, software is modelled by means of flowgraphs. A tacit...
Within the maintenance activity, a great deal of time is spent in the process of understanding unstr...
While software developers make every effort to develop correct, easily maintainable and efficient pr...
There is an intimate link between program structure and behaviour. Exploiting this link to phrase pr...