Artículos relacionados a From Prototype to Efficient Implementation: A Case...
From Prototype to Efficient Implementation: A Case Study Using Setl and C (Classic Reprint) - Tapa blanda
Sinopsis
Excerpt from From Prototype to Efficient Implementation: A Case Study Using Setl and C
This paper reports on an ongoing experiment in the use of very high level languages (vhlls) for software design and prototyping (see Bul] for a recent survey of the practice of Software Prototyping). The work of the nyuada group revolves around the use of setl, a vhll whose most salient feature is the use of constructs taken from the mathematical theory of sets. Using setl, our group was able to construct the first validated translator for Ada®. The first ada/ed system, validated in April 1983, was intended to serve as an operational definition of Ada and as a very abstract design for an Ada compiler, and as such was no more than an executable definition. (and barely executable at that: a few source lines of Ada per second of cpu time on a vax/780). Ada/ed proved nevertheless to be a useful teaching tool, and an excellent testbed for the use of vhlls in software prototyping; thanks to theexclusive use of setl, it proved possible to construct a full translator for Ada in about 16 person-years, within a typically unstructured academic environment, without any rigorous Software Engineering procedures, and no design documents other than the program itself [kr1]. It must be added that roughly half of those 16 years were spent in tracking language changes between preliminary Ada and ansi Ada, a period in which the prototype did indeed evolve with shifting requirements!
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Excerpt from From Prototype to Efficient Implementation: A Case Study Using Setl and C
This paper reports on an ongoing experiment in the use of very high level languages (vhlls) for software design and prototyping (see Bul] for a recent survey of the practice of Software Prototyping). The work of the nyuada group revolves around the use of setl, a vhll whose most salient feature is the use of constructs taken from the mathematical theory of sets. Using setl, our group was able to construct the first validated translator for Ada®. The first ada/ed system, validated in April 1983, was intended to serve as an operational definition of Ada and as a very abstract design for an Ada compiler, and as such was no more than an executable definition. (and barely executable at that: a few source lines of Ada per second of cpu time on a vax/780). Ada/ed proved nevertheless to be a useful teaching tool, and an excellent testbed for the use of vhlls in software prototyping; thanks to theexclusive use of setl, it proved possible to construct a full translator for Ada in about 16 person-years, within a typically unstructured academic environment, without any rigorous Software Engineering procedures, and no design documents other than the program itself [kr1]. It must be added that roughly half of those 16 years were spent in tracking language changes between preliminary Ada and ansi Ada, a period in which the prototype did indeed evolve with shifting requirements!
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 18,73
EUR 0,61 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para From Prototype to Efficient Implementation: A Case...
Imagen de archivo
From Prototype to Efficient Implementation A Case Study Using Setl and C Classic Reprint
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LX-9780243272570
Cantidad disponible: 15 disponibles
Imagen de archivo
From Prototype to Efficient Implementation A Case Study Using Setl and C Classic Reprint
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LX-9780243272570
Cantidad disponible: 15 disponibles
Imagen del vendedor
From Prototype to Efficient Implementation: A Case Study Using Setl and C
Impresión bajo demandaLibrería: Forgotten Books, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Print on Demand. This book examines the evolution of the Ada/Ed system, the first validated translator for the Ada programming language, from its initial prototype to its current production-quality version. The author takes an in-depth look at the challenges involved in translating a very high-level language (VHLL) such as SETL into a lower-level language like C. The book discusses the specific solutions that were chosen for Ada/Ed-C, the performance of the new system, and some aspects of SETL that can hinder rather than facilitate prototyping.Ultimately, this book demonstrates the advantages of using executable prototypes in constructing software systems and endorses the use of wide-spectrum languages for all phases of software design and implementation. 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 ref. del artículo: 9780243272570_0
Cantidad disponible: Más de 20 disponibles