Comparing Three Approaches to Transformational Programming (Classic Reprint) - Couverture souple

L�ufer, Konstantin

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

Couverture souple

ISBN 10 : 1333133243 ISBN 13 : 9781333133245

Editeur : Forgotten Books, 2018

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

5 Neuf

De EUR 14,07

D�tails de l'�dition

�diteurForgotten Books
Date d'�dition2018
ISBN 10 1333133243
ISBN 13 9781333133245
ReliureBroch�
Langueanglais
Nombre de pages39

Acheter neuf

Afficher cet article

EUR 14,07

Autre devise

Gratuit exp�dition depuis Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9781341538872: Comparing Three Approaches to Transformational Programming

Edition pr�sent�e

ISBN 10 : 1341538877 ISBN 13 : 9781341538872
Editeur : Palala Press, 2015
Couverture rigide

R�sultats de recherche pour Comparing Three Approaches to Transformational Programming...

Image fournie par le vendeur

Comparing Three Approaches to Transformational Programming (Classic Reprint)

Konstantin Läufer

Edit� par Forgotten Books, 2018

ISBN 10 : 1333133243 ISBN 13 : 9781333133245

Neuf Paperback

impression � la demande

Vendeur : Forgotten Books, London, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : 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. N� de r�f. du vendeur 9781333133245_0

Contacter le vendeur