Alphard: Form and Content: Form and Content by Springer-Verlag New York Inc. (Paperback, 1981)
Brand newLOWEST PRICE
- AU $161.00Free postage
- Brand new condition
- Sold by simplybestprices-10to20dayshipping
- See details for delivery est.
All listings for this product
Best-selling in Non-Fiction Books
Save on Non-Fiction Books
- AU $12.99Trending at AU $19.24
- AU $61.30Trending at AU $73.23
- AU $26.40Trending at AU $33.52
- AU $12.82Trending at AU $13.77
- AU $36.81Trending at AU $38.00
- AU $50.16Trending at AU $55.46
- AU $20.18Trending at AU $24.41
About this product
- DescriptionAlphard 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 tions 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 t 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 kwledge 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 w 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.
- PublisherSpringer-Verlag New York Inc.
- Date of Publication09/12/1981
- SubjectComputing: Professional & Programming
- Place of PublicationNew York, NY
- Country of PublicationUnited States
- ImprintSpringer-Verlag New York Inc.
- Content Notebiography
- Weight820 g
- Width210 mm
- Height280 mm
- Spine18 mm
- Edited byMary Shaw
- Edition StatementSoftcover reprint of the original 1st ed. 1981
This item doesn't belong on this page.
Thanks, we'll look into this.