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 15,17

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Forgotten Books
Date d'�dition: 2018
Langue: anglais
ISBN 10: 1333133243
ISBN 13: 9781333133245
Reliure: Broch�
Nombre de pages: 39
Coordonn�es du fabricant: Copytech (UK) Ltd, Trading as Printondemand-worldwide.com
gpsr@podww.com

9 Culley Court
Orton Southgate
Peterborough
Cambridgeshire
PE2 6WA
Royaume-Uni
Personne responsable: Easy Access System Europe O�, 16879218
+358405003575
gpsr.requests@easproject.com

Mustam�e tee 50
Tallinn
10621
Estonie

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