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

Sprache: Englisch

Verlag: Forgotten Books, 2018

1333549652 / 9781333549657

Anbieter: Forgotten Books, London, Vereinigtes KönigreichForgotten Books

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 2. Juni 2021

Softcover

Zustand: Neu

EUR 16,27

 Versand gratis 
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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

Bestandsnummer des Verkäufers 9781333549657_0

Titel
A Single-Pass Algorithm for Eliminating Constraint Checks in Ada Programs
Autor
H. Operowsky, E. Schonberg
Verlag
Forgotten Books
Erscheinungsjahr
2018
Zustand
New
Buchtyp
print-on-demand item
Einband
Paperback
Sprache
Englisch
ISBN-10
1333549652
ISBN-13
9781333549657
Verkäuferkataloge
Calculus

Forgotten Books

London, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 2. Juni 2021

Versandkosten von Vereinigtes Königreich nach USA

Artikel5 bis 10 Werktage5 bis 10 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

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

Shopbeschreibung

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.

Spezialisierung

Trade

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

FB &c Ltd

Dalton House, 60 Windsor Avenue
London, Vereinigtes Königreich SW19 2RR