Systematic program design : from clarity to efficiency /

Show other versions (1)

"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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Liu, Yanhong Annie, 1965- (Author)
Format: Electronic eBook
Language:Inglés
Published: Cambridge : Cambridge University Press, 2013.
Subjects:
Computer programming.
System design.
Programmation (Informatique)
Conception de systèmes.
computer programming.
COMPUTERS > Programming Languages > General.
Computer programming
System design
Systementwurf
Programmierung
Online Access:Texto completo
Table of Contents:
  • Loops: incrementalize
  • Sets: incrementalize and implement
  • Recursion: iterate and incrementalize
  • Rules: iterate, incrementalize, and implement
  • Objects: incrementalize across module abstraction.

Similar Items