Verwandte Artikel zu Algebraic Approaches to Program Semantics (Springer...
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Reseña del editor:
In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a program, for example, as the function it computes in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics: it offers algebraic techniques for characterizing the denotation of (i. e. , the function computed by) a program-the properties of the program can then be checked by direct comparison of the denotation with the specification. This book is an introduction to denotational semantics. More specifically, we introduce the reader to two approaches to denotational semantics: the order semantics of Scott and Strachey and our own partially additive semantics.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer-Verlag New York Inc.
- Erscheinungsdatum1986
- ISBN 10 0387963243
- ISBN 13 9780387963242
- EinbandTapa dura
- Anzahl der Seiten353
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Traces... Mehr zu diesem Angebot erfahren
EUR 82,48
Versand:
EUR 8,00
Von Frankreich nach USA
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Algebraic Approaches to Program Semantics
Verlag:
Springer-Verlag New York Inc.
(1986)
ISBN 10: 0387963243
ISBN 13: 9780387963242
Gebraucht
Hardcover
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-843-065
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 82,48
Währung umrechnen
Beispielbild für diese ISBN
Algebraic Approaches to Program Semantics
Verlag:
Springer-Verlag New York Inc.
(1986)
ISBN 10: 0387963243
ISBN 13: 9780387963242
Gebraucht
Hardcover
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-551-241
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 120,94
Währung umrechnen