A Single-Pass Algorithm for Eliminating Constraint Checks in Ada Programs (Classic Reprint) - Tapa blanda
Sinopsis
Excerpt from A Single-Pass Algorithm for Eliminating Constraint Checks in Ada Programs
In the remainder of the chapter, test and check will be used as synonyms for the term constraint check.
Unfortunately, because these checks are performed at run-time, there is a (possibly severe) performance penalty associated with them. In recognition of that penalty, the language provides the programmer with the means of not generating these tests through use of the suppress pragma.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Excerpt from A Single-Pass Algorithm for Eliminating Constraint Checks in Ada Programs
In the remainder of the chapter, test and check will be used as synonyms for the term constraint check.
Unfortunately, because these checks are performed at run-time, there is a (possibly severe) performance penalty associated with them. In recognition of that penalty, the language provides the programmer with the means of not generating these tests through use of the suppress pragma.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Reseña del editor
Excerpt from A Single-Pass Algorithm for Eliminating Constraint Checks in Ada Programs
The generated code for a range or index check consists of a test that the expression is greater than or equal to the lower bound of the indicated range, and less than or equal to the upper bound of that range. The generated code for a discriminant check or access check is a test of equality. Thus, all constraint checks may be generalized to assume the following form.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para A Single-Pass Algorithm for Eliminating Constraint...
Imagen de archivo
A Single-Pass Algorithm for Eliminating Constraint Checks in Ada Programs
Impresión bajo demandaLibrería: Forgotten Books, London, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: 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. Nº de ref. del artículo: 9781333549657_0
Comprar nuevo
EUR 15,82
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
A SinglePass Algorithm for Eliminating Constraint Checks in Ada Programs Classic Reprint
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781333549657
Comprar nuevo
EUR 25,19
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
A SinglePass Algorithm for Eliminating Constraint Checks in Ada Programs Classic Reprint
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781333549657
Comprar nuevo
EUR 24,64
Envío por EUR 3,81
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles