Alphard: Form and Content: Form and Content (Paperback)
  • Alphard: Form and Content: Form and Content (Paperback)
zoom

Alphard: Form and Content: Form and Content (Paperback)

(editor)
£72.00
Paperback 321 Pages / Published: 09/12/1981
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9780387906638
Number of pages: 321
Weight: 820 g
Dimensions: 280 x 210 x 18 mm
Edition: Softcover reprint of the original 1st ed. 198

You may also be interested in...

Python For Dummies
Added to basket
£22.99
Paperback
Seven Languages in Seven Weeks
Added to basket
C Programming
Added to basket
£54.99
Paperback
The C++ Programming Language
Added to basket
Programming
Added to basket
£55.49
Paperback
Data Analysis Using SQL and Excel
Added to basket
The C++ Programming Language
Added to basket
C Programming Absolute Beginner's Guide
Added to basket
C Programming Language
Added to basket
The Art Of R Programming
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Exercises in Programming Style
Added to basket
Learn To Program
Added to basket
£19.99
Paperback
C++ All-in-One For Dummies
Added to basket
R Cookbook
Added to basket
£31.99
Paperback
C Programming in Easy Steps
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.