The Algorithmic Transformation of Schemas to Structured Form

DOI10.1093/COMJNL/30.1.43MaRDI QIDQ3742696zbMATH OpenOpenAlexFDO

Authors G. Oulsnam

Publication date 1987

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/30.1.43

zbMATH Keywords

computational complexity

Mathematics Subject Classification ID

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

Recommendations

• Formal aspects of structured programming with goto statements
• scientific article; zbMATH DE number 3963179
• Program schemata with monotone operators
• scientific article; zbMATH DE number 3936509
• Transformation of algorithms written in the form of composition schemes

Cited in

(6)

• Some aspects of algorithm transformation based on the formalization of information connections
• scientific article; zbMATH DE number 3880874 (Why is no real title available?)
• Well-formed Conversion of Unstructured One-in/one-out Schemes for Complexity Measurement and Program Maintenance
• scientific article; zbMATH DE number 3963179 (Why is no real title available?)
• Reducing the search space for conceptual schema transformation
• Formal aspects of structured programming with goto statements

This page was built for publication: The Algorithmic Transformation of Schemas to Structured Form

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