We discuss the stepwise construction of iterative programs from specifications, represented by relations. We make an effort to isolate, in the construction of an iterative program, those decisions that are dictated by correctness preservation concerns, from decisions that the programmer is free to make at will.
All Science Journal Classification (ASJC) codes
- Information Systems
- Computational Theory and Mathematics
- Modeling and Simulation