Name: alphard: form and content (en Inglés)
Price: 94960.00 CLP
Availability: InStock
Author: Shaw, Mary
ISBN: 9780387906638

portada alphard: form and content (en Inglés)

Formato

Libro Físico

Ilustrado por

Mary Shaw

Editorial

Springer

Autor

Shaw, Mary

Año

1981

Idioma

Inglés

N° páginas

321

Encuadernación

Tapa Blanda

Dimensiones

27.9 x 21.0 x 1.8 cm

Peso

0.75 kg.

ISBN

0387906630

ISBN13

9780387906638

Categorías

Lenguajes de programación scripting

alphard: form and content (en Inglés)

Mary Shaw (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo

$ 94.960

$ 131.890

Ahorras: $ 36.930

28% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 13 de Junio y el Martes 25 de Junio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "alphard: form and content (en Inglés)"

Alphard is a design for a programming system that supports the abstraction and verification techniques required by modern program'ming methodology. During the language design process, we were concerned simultaneously with problems of methodology, correctness, and efficiency. Methodological concerns are addressed through facilities for defining new, task-specific abstractions that capture complex notions in terms of their intended properties, without explicating them in terms of specific low- level implementations. Techniques for verifying certain properties of these programs address the correctness concerns. Finally, the language has been designed to permit compilation to efficient object code. Although a compiler was not implemented, the research shed light on specification issues and on programming methodology. an abstraction, specifying its behavior Alphard language constructs allow a programmer to isolate publicly while localizing knowledge about its implementation. The verification of such an abstraction consists of showing that its implementation behaves in accordance with the public specification. Given such a verification, the abstraction may be used with confidence to construct higher-level, more abstract, programs. The most common kind of abstraction in Alphard corresponds to what is now called an abstract data type. An abstract data type comprises a set of values for elements of the type and a set of operations on those values. A new language construct, the form, provides a way to encapsulate the definitions of data structures and operations in such a way that only public information could be accessed by the rest of the program.