A method for computing the number of iterations in data dependent loops
From MaRDI portal
Publication:853604
DOI10.1007/s11241-006-5317-1zbMath1105.68023MaRDI QIDQ853604
Francesco Curatelli, Leonardo Mangeruca
Publication date: 17 November 2006
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11241-006-5317-1
difference equations; timing verification; loop analysis; execution time evaluation; high-level specification; iterations number prediction; real-time concurrent systems; system synthesis
68N99: Theory of software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the shifted QR iteration applied to companion matrices
- A Heuristic for Deriving Loop Functions
- The Determination of Loop Invariants for Programs with Arrays
- The new math of computer programming
- Logical analysis of programs
- Some Aspects of the Verification of Loop Computations
- A Method for Analyzing Loop Programs
- An axiomatic basis for computer programming