Algorithm Derivation by Transformations (Classic Reprint)

Lingua: inglese

Editore: Forgotten Books, 2018

1333034636 / 9781333034634

Immagine dell’articolo 1 di 2

Da: Forgotten Books, London, Regno UnitoForgotten Books

Venditore con 5 stelle

Venditore AbeBooks dal 2 giugno 2021

Brossura

Condizione: Nuovo

EUR 15,98

 Spedizione gratuita 
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Print on Demand. This book takes a deep dive into the fascinating world of algorithm derivation, exploring the process by which programmers transform abstract problem specifications into efficient and correct programs. The author examines the historical struggle to make programming more systematic and less reliant on intuition, tracing the development of techniques like structured programming and high-level languages. The book argues that, while these tools are valuable, they often fail to capture the essence of programming. The author proposes a solution: a transformational programming system that would guide programmers through a series of well-defined, correctness-preserving transformations, starting with a high-level problem specification and culminating in a low-level, executable program. The book analyzes various techniques that could be incorporated into such a system, including formal differentiation, backtracking, recursion optimization, and the elimination of nondeterminism. Through detailed case studies of the topological sorting and the eight queens problems, the author demonstrates the potential of this approach for constructing complex algorithms. The book explores how a systematic approach to program derivation can not only produce effective solutions but also reveal the underlying relationships between different algorithmic solutions, contributing to a deeper understanding of the entire field. Ultimately, this book presents a compelling vision for a more systematic and rigorous approach to programming, one that could significantly enhance the efficiency and reliability of software development. 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. …

Codice articolo 9781333034634_0

Titolo
Algorithm Derivation by Transformations (Classic Reprint)
Autore
Micha Sharir
Editore
Forgotten Books
Anno di pubblicazione
2018
Condizione
New
Tipo di libro
print-on-demand item
Rilegatura
Paperback
Lingua
inglese
ISBN 10
1333034636
ISBN 13
9781333034634
Cataloghi dei venditori
Calculus

Forgotten Books

London, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 2 giugno 2021

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 5 a 10 giorni lavorativiDa 5 a 10 giorni lavorativi
Primo articoloEUR 0,00EUR 0,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

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

Descrizione dello Store

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.

Specializzazione

Trade

Informazioni sull’azienda del venditore

FB &c Ltd

Dalton House, 60 Windsor Avenue
London, Regno Unito SW19 2RR