Strongest invariant functions, a useful tool in the analysis of while statements, are defined and discussed. Their relationships to loop invariants and to the function computed by the while statement are investigated.
|Original language||English (US)|
|Number of pages||20|
|State||Published - Apr 1985|
All Science Journal Classification (ASJC) codes
- Information Systems
- Computer Networks and Communications