H Operowsky E Schonberg (1 results)

Paperback. Condition: New. Print on Demand. This book presents an innovative algorithm for enhancing program reliability in Ada, a high-level programming language known for its emphasis on reliability and safety. The algorithm targets a specific type of error known as a constraint check, which can significantly degrade program performance. The author demonstrates a novel approach to constraint checking that eliminates redundant tests at compile-time, without requiring a preliminary analysis pass or complex dataflow analysis. Instead, it leverages the program's syntax tree to efficiently identify and optimize constraint checks. The algorithm also incorporates constant propagation, extending the standard framework to account for the sign of variables, and induction variable analysis, which replaces tests within loops with equivalent tests in the loop prologue. By seamlessly integrating these techniques into a single-pass algorithm, the book offers a significant advancement in program optimization for Ada. This algorithm has the potential to revolutionize the development of high-performance, reliable software in various domains where Ada is widely used, such as avionics, medical devices, and critical infrastructure. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.