Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Comparing Three Approaches to Transformational Programming...
Foto des Verkäufers
Comparing Three Approaches to Transformational Programming (Classic Reprint)
Print-on-DemandAnbieter: Forgotten Books, London, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9781333133245_0
Neu kaufen
EUR 15,34
Versand gratis
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Comparing Three Approaches to Transformational Programming Classic Reprint
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781333133245
Beispielbild für diese ISBN
Comparing Three Approaches to Transformational Programming Classic Reprint
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781333133245
Neu kaufen
EUR 20,56
EUR 3,81 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 15 verfügbar