Semantics for the programming language "while". The Programming Language "while" has been parameterized over the type of variables (V); this is so that variable renaming can be made easier when needed.
| Theorem | Location | PVS Name | Contributors |
|---|
- David Lester, Manchester University, UK
- César Muñoz, NASA, USA
- Sam Owre, SRI, USA
- Mariano Moscato, NIA & NASA, USA
- César Muñoz, NASA, USA
