Untangling unstructured programs

A method is presented for converting unstructured program schemas to strictly equivalent structured form. The predicates of the original schema are left intact with structuring being achieved by the duplication of he original decision vertices without the introduction of compound predicate expressions, or where possible by function duplication alone. It is shown that structured schemas must have at least as many decision vertices as the original unstructured schema, and must have more when the original schema contains branches out of decision constructs. The structuring method allows the complete avoidance of function duplication, but only at the expense of decision vertex duplication. It is shown that structured schemas have greater space-time requirements in general than their equivalent optimal unstructured counterparts and at best have the same requirements

Restructuration automatisée de programmes FORTRAN en pseudocode schématique

Le langage Fortran -- Le pseudocode schématique -- Traduction du Fortran en pseudocode schématique (SPC) Étude préliminaires -- Traduction directe -- Approche semi-automatisée avec graphe de contrôle -- Approche automatisée pour un langage structuré -- Synthèse -- Le graphe de contrôle -- Théorie des graphes -- Représentation graphique du flux de contrôle -- Structure de données et application -- Méthode de traduction -- Traduction du code source en graphe de contrôle -- Traduction du graphe de contrôle -- Traduction du graphe en pseudocode schématique. Réalisation du prototype -- Environnement de développement -- Composantes du système -- Analyse de performances -- Analyse des résultats -- Présentation des résultats