Systematic program design: from clarity to efficiency
Auteur :
Liu, Yanhong Annie
Éditeur :
Cambridge University Press
ISBN :
9781107036604
Date de publication :
20 mai 2013
Dimensions :
24,0 x 15,8 x 2,0 cm
Poids :
550 g
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.