Chargement en cours…
Systematic program design : from clarity to efficiency /
"A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program ana...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Cambridge :
Cambridge University Press,
2013.
|
| Sujets: | |
| Accès en ligne: | Texto completo |
Table des matières:
- Loops: incrementalize
- Sets: incrementalize and implement
- Recursion: iterate and incrementalize
- Rules: iterate, incrementalize, and implement
- Objects: incrementalize across module abstraction.