The Use of Termination Indicators in Computer Programming

DOI10.1093/COMJNL/29.5.430MaRDI QIDQ3735059zbMATH OpenOpenAlexFDO

Authors M. C. Er

Publication date 1986

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

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

zbMATH Keywords

multi-exit loopstermination conditions of loopstermination-indicator technique

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• A New Programming Technique Derived from Dijkstra’s Methodology
• Forced termination of loops
• Program termination using Z-transform theory
• Verification, Model Checking, and Abstract Interpretation
• On termination of meta-programs

Cited in

(2)

• Forced termination of loops
• A New Programming Technique Derived from Dijkstra’s Methodology

This page was built for publication: The Use of Termination Indicators in Computer Programming

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