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

Langue : anglais

Edité par Forgotten Books, 2018

1333549652 / 9781333549657

Vendeur : Forgotten Books, London, Royaume-UniForgotten Books

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 2 juin 2021

Livre broché

Etat: Neuf

EUR 16,27

 Frais de port gratuits 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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.…

N° de réf. du vendeur 9781333549657_0

Titre
A Single-Pass Algorithm for Eliminating Constraint Checks in Ada Programs
Auteur
H. Operowsky, E. Schonberg
Éditeur
Forgotten Books
Année de publication
2018
État de l'article
New
Type de livre
print-on-demand item
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
1333549652
ISBN à 13 chiffres
9781333549657
Catalogues du vendeur
Calculus

Forgotten Books

London, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 2 juin 2021

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article5 à 10 jours ouvrés5 à 10 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Description de la boutique

Forgotten Books’ Classic Reprint Series utilizes the latest technology to regenerate facsimiles of historically important writings. Careful attention has been made to accurately preserve the original format of each page whilst digitally enhancing the quality of the aged text.

Spécialité

Trade

Profil professionnel du vendeur

FB &c Ltd

Dalton House, 60 Windsor Avenue
London, Royaume-Uni SW19 2RR