Program structures: Some new characterisations

DOI10.1016/0022-0000(91)90025-ZzbMath0749.68053MaRDI QIDQ1186551

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

program analysisunfoldingflowgraphsnode splittingprogram conversionprogram structuredness

Mathematics Subject Classification ID

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

Related Items (1)

Program structures: Some new characterisations

Uses Software

• Modula

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An application of Cohen's result on star height to the theory of control structures
• Reducibility of synchronization structures
• Program structures: Some new characterisations
• Translatability of flowcharts into while programs
• Analysis of structured programs
• A generalized mathematical theory of structured programming
• The Hierarchy of Program Control Structures
• Well-formed Conversion of Unstructured One-in/one-out Schemes for Complexity Measurement and Program Maintenance
• Unravelling Unstructured Programs
• On Partitioning Program Graphs
• Conversion of Unstructured Flow Diagrams to Structured Form
• On the capabilities of while, repeat, and exit statements

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