skip to content
Alphard : form and content Preview this item
ClosePreview this item
Checking...

Alphard : form and content

Author: Mary Shaw
Publisher: New York : Springer-Verlag, ©1981.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Alphard.
New York : Springer-Verlag, c1981
(OCoLC)571536208
Document Type: Book
All Authors / Contributors: Mary Shaw
ISBN: 0387906630 9780387906638
OCLC Number: 7944984
Description: viii, 321 p. ; 27 cm.
Contents: Publication History.- - History and Overview.- Prelude - The Alphard form and Verification Issues.- I - Abstraction and Verification in Alphard: Introduction to Language and Methodology.- II - Remarks on the Impact of Program Verification on Language Design.- First Interlude - Inadequacy of Simple Encapsulation.- III - Abstraction and Verification in Alphard: Iteration and Generators.- IV - Achieving Quality Software: Reflections on the Aims and Objectives of Alphard.- Second Interlude - Larger Examples.- V - Abstraction and Verification in Alphard: Design and Verification of a Tree Handler.- VI - Abstraction and Verification in Alphard: A Symbol Table Example.- Third Interlude - Language Evolution.- VII - An Informal Definition of Alphard.- Fourth Interlude - Generality and Generic Definitions.- VIII - An Alphard Specification of a Correct and Efficient Transformation on Data Structures.- Fifth Interlude - Validating and Extending the Concepts.- IX - Validating the Utility of Abstraction Techniques.- X - Toward Relaxing Assumptions in Languages and Their Implementations.- Postlude - Reflections and Open Problems.
Responsibility: edited by Mary Shaw.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/7944984>
library:oclcnum"7944984"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/7944984>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:contributor
schema:copyrightYear"1981"
schema:datePublished"1981"
schema:exampleOfWork<http://worldcat.org/entity/work/id/833424603>
schema:inLanguage"en"
schema:name"Alphard : form and content"@en
schema:numberOfPages"321"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.