Systematic program design: from clarity to efficiency
Auteur :
Liu, Yanhong Annie
Éditeur :
Cambridge University Press
ISBN :
9781107610798
Date de publication :
20 mai 2013
Dimensions :
21,0 x 15,0 x 2,5 cm
Poids :
410 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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 analysis and transformations.