Skip to main content alibris logo

Alphard: Form and Content: Form and Content

by

Write The First Customer Review
Alphard: Form and Content: Form and Content - Shaw, Mary (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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. ...

loading
Alphard: Form and Content: Form and Content 1981, Springer, New York, NY

ISBN-13: 9780387906638

Trade paperback