A Single-Pass Algorithm for Eliminating Constraint Checks in ADA Programs (Classic Reprint) - Couverture souple

Operowsky, H.

9781333549657: A Single-Pass Algorithm for Eliminating Constraint Checks in ADA Programs (Classic Reprint)

Couverture souple

ISBN 10 : 1333549652 ISBN 13 : 9781333549657

Editeur : Forgotten Books, 2018

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

3 Neuf

De EUR 15,82

The digital edition of all books may be viewed on our website before purchase. Excerpt from A Single-Pass Algorithm for Eliminating Constraint Checks in Ada Programs

About the Publisher

Forgotten Books publishes hundreds of thousands of rare and classic books.

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. This text has been digitally restored from a historical edition. Some errors may persist, however we consider it worth publishing due to the work's historical value.The digital edition of all books may be viewed on our website before purchase.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Forgotten Books
Date d'�dition: 2018
Langue: anglais
ISBN 10: 1333549652
ISBN 13: 9781333549657
Reliure: Broch�
Nombre de pages: 69
Coordonn�es du fabricant: Copytech (UK) Ltd, Trading as Printondemand-worldwide.com
gpsr@podww.com

9 Culley Court
Orton Southgate
Peterborough
Cambridgeshire
PE2 6WA
Royaume-Uni
Personne responsable: non disponible

Autres �ditions populaires du m�me titre

9781341774478: A Single-pass Algorithm for Eliminating Constraint Checks in Ada Programs

Edition pr�sent�e

ISBN 10 : 1341774473 ISBN 13 : 9781341774478
Editeur : Palala Press, 2015
Couverture rigide

R�sultats de recherche pour A Single-Pass Algorithm for Eliminating Constraint...

Image d'archives

A Single-Pass Algorithm for Eliminating Constraint Checks in Ada Programs

H. Operowsky, E. Schonberg

Edit� par Forgotten Books, 2018

ISBN 10 : 1333549652 ISBN 13 : 9781333549657

Neuf Paperback

impression � la demande

Vendeur : Forgotten Books, London, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : 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 r�f. du vendeur 9781333549657_0

Contacter le vendeur