Comparing Three Approaches to Transformational Programming (Classic Reprint)

Läufer, Konstantin

ISBN 10: 1333133243 / ISBN 13: 9781333133245

Published by Forgotten Books, 2018

About this Item

40 pages. 9.02x5.98x0.08 inches. In Stock. This item is printed on demand.

Seller Inventory # 1333133243

Bibliographic Details

• Title: Comparing Three Approaches to Transformational Programming (Classic Reprint)
• Publisher: Forgotten Books
• Publication Date: 2018
• Language: English
• ISBN 10: 1333133243
• ISBN 13: 9781333133245
• Binding: Paperback
• Condition: Brand New
• Weight: 0.07 kilograms

About this title

Synopsis

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.