Description
- ISBN-10: 8184895593
- ISBN-13: 978-8184895599
- Edition: First Edition
- Publisher: newagepublishers
- Publication date: 1 January 2010
- Language: English
- Dimensions: 22.4 x 15.3 x 1.6 cm
- Print length: 322 pages
Original price was: ₹499.00.₹474.05Current price is: ₹474.05.
Discover the “Value-Range Analysis of C Programs” by Axel Simon, a groundbreaking study focused on static analysis for C code. Essential for software engineers and researchers, this book tackles the complexities of pointer analysis, type coercion, and low-level C behavior. Simon presents a formal, yet accessible, value-range analysis using polyhedral methods, offering precise approximations for bit-level operations. This rigorous approach provides a robust foundation for developing advanced analyses, exemplified by NUL position tracking in string buffers. Ideal for those interested in static analysis, program verification, and the intricacies of real-world programming languages, this affordable edition is exclusively available for sale in India, Bangladesh, Nepal, Pakistan, and Sri Lanka.
5 in stock