Yanhong Annie Liu – författare
Visar alla böcker från författaren Yanhong Annie Liu. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
1 099 kr
Skickas inom 7-10 vardagar
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. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.
574 kr
Skickas inom 7-10 vardagar
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. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.
1 129 kr
Skickas inom 5-8 vardagar
1 361 kr
Skickas inom 5-8 vardagar
Del 12007 - Lecture Notes in Computer Science
Practical Aspects of Declarative Languages
22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings
Häftad, Engelska, 2020
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020. The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions.