Program structures: Some new characterisations

DOI10.1016/0022-0000(91)90025-ZMaRDI QIDQ1186551zbMATH OpenFDO

Authors R. W. Whitty, Norman Fenton

Publication date 28 June 1992

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

zbMATH Keywords

unfoldingflowgraphsprogram analysisnode splittingprogram conversionprogram structuredness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the detection of unstructuredness in flowgraphs
• A generalized mathematical theory of structured programming
• Generalized structured programs and loop trees
• Eliminating go to's while preserving program structure
• scientific article; zbMATH DE number 3913694

Cites work

• scientific article; zbMATH DE number 3913694 (Why is no real title available?)
• scientific article; zbMATH DE number 125460 (Why is no real title available?)
• scientific article; zbMATH DE number 3592938 (Why is no real title available?)
• scientific article; zbMATH DE number 3353310 (Why is no real title available?)
• A generalized mathematical theory of structured programming
• An application of Cohen's result on star height to the theory of control structures
• Analysis of structured programs
• Conversion of Unstructured Flow Diagrams to Structured Form
• On Partitioning Program Graphs
• On the capabilities of while, repeat, and exit statements
• Program structures: Some new characterisations
• Reducibility of synchronization structures
• The Hierarchy of Program Control Structures
• Translatability of flowcharts into while programs
• Unravelling Unstructured Programs
• Well-formed Conversion of Unstructured One-in/one-out Schemes for Complexity Measurement and Program Maintenance

Cited in

(21)

• scientific article; zbMATH DE number 3907745 (Why is no real title available?)
• The Böhm–Jacopini Theorem Is False, Propositionally
• Characterizing Programming Systems Allowing Program Self-reference
• A `division' transformation for program and data structures and the structure clash problem
• Program structures: Some new characterisations
• Enumeration of structured flowcharts
• The Hierarchy of Program Control Structures
• Quasi-structured programs
• scientific article; zbMATH DE number 4133859 (Why is no real title available?)
• Generalized structured programs and loop trees
• scientific article; zbMATH DE number 1191243 (Why is no real title available?)
• Eliminating go to's while preserving program structure
• scientific article; zbMATH DE number 125460 (Why is no real title available?)
• A generalized mathematical theory of structured programming
• Short Notes: Towards a Single Criterion for Identifying Program Unstructuredness
• Short Notes: Towards a Single Criterion for Identifying Program Unstructuredness
• Asymptotic Enumeration of Predicate-Junction Flowgraphs
• scientific article; zbMATH DE number 3936483 (Why is no real title available?)
• Dijkstra graphs
• scientific article; zbMATH DE number 3913694 (Why is no real title available?)
• Reducing behavioural to structural properties of programs with procedures

Describes a project that uses

Uses Software

• Modula

This page was built for publication: Program structures: Some new characterisations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1186551)