Forced termination of loops

DOI10.1002/SPE.4380150103zbMATH Open0547.68016OpenAlexW2010067000MaRDI QIDQ3339258FDOQ3339258

Authors: R. Geoff Dromey 

Publication date: 1985

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380150103

Recommendations

• The Use of Termination Indicators in Computer Programming
• Program termination using Z-transform theory
• Termination of semi-algebraic loop programs
• Termination detection in parallel loop nests with while loops
• Termination analysis of linear loop programs

zbMATH Keywords

control structureprogramming styledata structure independenceforced terminationloop exits

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Opportunistic algorithms for eliminating supersets
• The Use of Termination Indicators in Computer Programming

This page was built for publication: Forced termination of loops

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