Alphard: Form and Content: Form and Content
Editat de Mary Shawen Limba Engleză Paperback – 9 dec 1981
Preț: 337.49 lei
Preț vechi: 421.87 lei
-20% Nou
Puncte Express: 506
Preț estimativ în valută:
64.60€ • 67.14$ • 53.51£
64.60€ • 67.14$ • 53.51£
Carte tipărită la comandă
Livrare economică 04-18 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780387906638
ISBN-10: 0387906630
Pagini: 321
Ilustrații: 321 p.
Dimensiuni: 210 x 280 x 18 mm
Greutate: 0.75 kg
Ediția:Softcover reprint of the original 1st ed. 1981
Editura: Springer
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 0387906630
Pagini: 321
Ilustrații: 321 p.
Dimensiuni: 210 x 280 x 18 mm
Greutate: 0.75 kg
Ediția:Softcover reprint of the original 1st ed. 1981
Editura: Springer
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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.