Articoli correlati a Comparing Three Approaches to Transformational Programming...

Comparing Three Approaches to Transformational Programming (Classic Reprint) - Brossura

 
9781333133245: Comparing Three Approaches to Transformational Programming (Classic Reprint)

Sinossi

This book is a comparative evaluation of three different approaches to transformational programming known as the Munich CIP project, Algorithmics, and RAPTS. Transformational programming is a methodology that formalizes the development of programs from problem specifications. The CIP approach relies on a strongly typed language with user-defined algebraic types and a semi-automatic transformation system requiring user guidance. Algorithmics is a pure pencil-and-paper approach to transformational programming, providing concise, uniform mathematical notation that includes work on nondeterminism. RAPTS is a fully mechanical system that transforms high-level specifications to C code. Given in a functional subset of SETL augmented with fixed-point operations, the specifications are transformed into efficient code which corresponds to different phases of the compiler. The author's detailed exploration provides common criteria by which such different transformational systems can be evaluated. This examination is useful for those seeking to understand the nuances of various transformational programming approaches.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreForgotten Books
  • Data di pubblicazione2018
  • ISBN 10 1333133243
  • ISBN 13 9781333133245
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine39
  • Contatto del produttorenon disponibile

EUR 1,96 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

Risultati della ricerca per Comparing Three Approaches to Transformational Programming...

Foto dell'editore

Konstantin L?ufer
Editore: Forgotten Books, 2018
ISBN 10: 1333133243 ISBN 13: 9781333133245
Nuovo PAP

Da: PBShop.store US, Wood Dale, IL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo LW-9781333133245

Contatta il venditore

Compra nuovo

EUR 19,33
Convertire valuta
Spese di spedizione: EUR 1,96
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 15 disponibili

Aggiungi al carrello

Foto dell'editore

Konstantin L?ufer
Editore: Forgotten Books, 2018
ISBN 10: 1333133243 ISBN 13: 9781333133245
Nuovo PAP

Da: PBShop.store UK, Fairford, GLOS, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo LW-9781333133245

Contatta il venditore

Compra nuovo

EUR 18,29
Convertire valuta
Spese di spedizione: EUR 5,98
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 15 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Konstantin Läufer
Editore: Forgotten Books, 2018
ISBN 10: 1333133243 ISBN 13: 9781333133245
Nuovo Paperback
Print on Demand

Da: Forgotten Books, London, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: New. Print on Demand. This book is a comparative evaluation of three different approaches to transformational programming known as the Munich CIP project, Algorithmics, and RAPTS. Transformational programming is a methodology that formalizes the development of programs from problem specifications. The CIP approach relies on a strongly typed language with user-defined algebraic types and a semi-automatic transformation system requiring user guidance. Algorithmics is a pure pencil-and-paper approach to transformational programming, providing concise, uniform mathematical notation that includes work on nondeterminism. RAPTS is a fully mechanical system that transforms high-level specifications to C code. Given in a functional subset of SETL augmented with fixed-point operations, the specifications are transformed into efficient code which corresponds to different phases of the compiler. The author's detailed exploration provides common criteria by which such different transformational systems can be evaluated. This examination is useful for those seeking to understand the nuances of various transformational programming approaches. 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. Codice articolo 9781333133245_0

Contatta il venditore

Compra nuovo

EUR 15,59
Convertire valuta
Spese di spedizione: EUR 11,86
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Läufer, Konstantin
Editore: Forgotten Books, 2018
ISBN 10: 1333133243 ISBN 13: 9781333133245
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 40 pages. 9.02x5.98x0.08 inches. In Stock. Codice articolo __1333133243

Contatta il venditore

Compra nuovo

EUR 26,04
Convertire valuta
Spese di spedizione: EUR 11,86
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Läufer, Konstantin
Editore: Forgotten Books, 2018
ISBN 10: 1333133243 ISBN 13: 9781333133245
Nuovo Paperback
Print on Demand

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 40 pages. 9.02x5.98x0.08 inches. In Stock. This item is printed on demand. Codice articolo 1333133243

Contatta il venditore

Compra nuovo

EUR 37,60
Convertire valuta
Spese di spedizione: EUR 11,86
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello