Alphard: Form and Content
Form and Content
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 des…
Mehr
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-0-387-90663-8
- EAN: 9780387906638
- Produktnummer: 15456624
- Verlag: Springer New York
- Sprache: Englisch
- Erscheinungsjahr: 1981
- Seitenangabe: 332 S.
- Masse: H28.0 cm x B21.0 cm x D1.7 cm 815 g
- Auflage: Softcover reprint of the original 1st ed. 1981
- Abbildungen: Paperback
- Gewicht: 815
9 weitere Werke von Mary (Hrsg.) Shaw:
Bewertungen
Anmelden