Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press,
2013.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Loops: incrementalize
- Sets: incrementalize and implement
- Recursion: iterate and incrementalize
- Rules: iterate, incrementalize, and implement
- Objects: incrementalize across module abstraction.