9781333549657 - a single-pass algorithm for eliminating constraint checks in ada programs (classic reprint) di operowsky, h. (3 risultati)
- Brossura
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 25,19
Spedizione gratuitaSpedito in U.S.A.Quantità: 15 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 24,88
EUR 3,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 15 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
- Print on Demand
Da: Forgotten Books, London, Regno UnitoForgotten Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 15,82
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: 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.
