Synopsis
Explore how to turn complex problems into efficient algorithms through practical transformations.
Learn how to describe, reason about, and refine algorithms by showing the steps behind their derivation, not just the final result.
This book surveys methods for turning high-level specifications into fast, reliable code. It emphasizes concrete techniques for understanding why an algorithm works, improving its performance, and verifying correctness, all through transformations that reveal the underlying structure of problems.- How to model algorithms as transformations and reason about their effects
- Strategies to convert high-level specifications into efficient procedures
- Methods to prove correctness and compare alternative algorithmic approaches
- Practical examples drawn from graph problems and data processing
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Algorithm Derivation by Transformations (Classic Reprint)
Stock Image
Algorithm Derivation by Transformations Classic Reprint
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LX-9780656049097
Stock Image
Algorithm Derivation by Transformations Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LX-9780656049097
Buy New
US$ 31.11
US$ 5.64 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available