Comparing Three Approaches to Transformational Programming (Classic Reprint)

Idioma: inglés

Editorial: Forgotten Books, 2018

1333133243 / 9781333133245

  • Tapa blanda
  • Nuevo
Ver todos los detalles
Imagen del artículo 1 de 2.

Librería: Forgotten Books, London, Reino UnidoForgotten Books

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 2 de junio de 2021

Ver los artículos de este vendedor
Tapa blanda

Condición: Nuevo

EUR 15,32

 Gastos de envío gratis 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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.

N° de ref. del artículo 9781333133245_0

Título
Comparing Three Approaches to Transformational Programming (Classic Reprint)
Autor
Konstantin Läufer
Editorial
Forgotten Books
Año de publicación
2018
Estado
New
Tipo de libro
print-on-demand item
Encuadernación
Paperback
Idioma
inglés
ISBN 10
1333133243
ISBN 13
9781333133245
Catálogos de vendedores
Calculus

Forgotten Books

London, Reino Unido

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 2 de junio de 2021

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 5 a 10 días hábilesDe 5 a 10 días hábiles
Primer artículoEUR 0,00EUR 0,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descripción de la tienda

Forgotten Books’ Classic Reprint Series utilizes the latest technology to regenerate facsimiles of historically important writings. Careful attention has been made to accurately preserve the original format of each page whilst digitally enhancing the quality of the aged text.

Especialidad

Trade

Información empresarial del vendedor

FB &c Ltd

Dalton House, 60 Windsor Avenue
London, Reino Unido SW19 2RR