A method for computing the number of iterations in data dependent loops
From MaRDI portal
Publication:853604
Recommendations
- A version of the programmed iterations method
- Iterative computational methods
- An iterative method for generating loop invariants
- scientific article; zbMATH DE number 3915522
- A method of parallel iteration
- Algorithm for counting large directed loops
- scientific article; zbMATH DE number 1203019
- Algorithms to evaluate multiple sums for loop computations
- Numerical iterative methods and repetitive processes
- A parallel version of the abstract analogue of the method of programmed iteration
Cites work
- A Heuristic for Deriving Loop Functions
- A Method for Analyzing Loop Programs
- An axiomatic basis for computer programming
- scientific article; zbMATH DE number 1069617 (Why is no real title available?)
- scientific article; zbMATH DE number 1760152 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- scientific article; zbMATH DE number 961607 (Why is no real title available?)
- Logical analysis of programs
- On the shifted QR iteration applied to companion matrices
- Some Aspects of the Verification of Loop Computations
- The Determination of Loop Invariants for Programs with Arrays
- The new math of computer programming
This page was built for publication: A method for computing the number of iterations in data dependent loops
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q853604)
