Discrete Loops and Worst Case Performance (1994)
Cached
Download Links
- [www.auto.tuwien.ac.at]
- [www.auto.tuwien.ac.at]
- DBLP
Other Repositories/Bibliography
| Venue: | Computer Languages |
| Citations: | 14 - 7 self |
BibTeX
@ARTICLE{Blieberger94discreteloops,
author = {Johann Blieberger},
title = {Discrete Loops and Worst Case Performance},
journal = {Computer Languages},
year = {1994},
volume = {20},
pages = {193--212}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper so-called discrete loops are introduced which narrow the gap between general loops (e.g. while- or repeat-loops) and for-loops. Alt- hough discrete loops can be used for applications that would otherwise require general loops, discrete loops are known to complete in any case. Furthermore it is possible to determine the number of iterations of a discrete loop, while this is trivial to do for for-loops and extremely difficult for general loops. Thus discrete loops form an ideal frame-work for determining the worst case timing behavior of a program and they are especially useful in implementing real-time systems and proving such systems correct.
