Bücher Wenner
Bücher
Stöbern
Kalender
unsere Tipps
Bestseller
Neuheiten
im Feuilleton
Themenwelten
Englische Titel
Französische Titel
Italienische Titel
Spanische Titel
aus unserer Werbung
Prämien
signierte Bücher
Gutscheine
Stöbern
Kalender
E-Books
Stöbern
% E-Book Deals %
technische Tipps
Signierte Bücher
Jura-Studium
Service
Abholung
Ankauf
dtv-Beck
Fachbücher
Fahrradkurier
Familienstarter
Geschäftskunden
Geschenke
Gutscheine
Kulturpass
Literatur-Abo
Literaturkarte
Schulbücher
signierte Bücher
Versand
Verträge hier kündigen
Wunschzettel
über uns
Bücher Wenner
Ausbildung & Praktikum
Karriere
Engagement
Sponsoring
Umwelt
Kontakt
Apfelbaumpaten
Olga Grjasnowa liest aus "JULI, AUGUST, SEPTEMBER
04.02.2025 um 19:30 Uhr
Higher Order Operational Techniques in Semantics
von Andrew D. Gordon, Andrew M. Pitts
Verlag: Cambridge University Press
Gebundene Ausgabe
ISBN: 978-0-521-63168-6
Erschienen am 27.05.2011
Sprache: Englisch
Format: 235 mm [H] x 157 mm [B] x 28 mm [T]
Gewicht: 800 Gramm
Umfang: 400 Seiten

Preis: 145,70 €
keine Versandkosten (Inland)


Dieser Titel wird erst bei Bestellung gedruckt. Eintreffen bei uns daher ca. am 21. Oktober.

Der Versand innerhalb der Stadt erfolgt in Regel am gleichen Tag.
Der Versand nach außerhalb dauert mit Post/DHL meistens 1-2 Tage.
145,70 €
merken
klimaneutral
Der Verlag produziert nach eigener Angabe noch nicht klimaneutral bzw. kompensiert die CO2-Emissionen aus der Produktion nicht. Daher übernehmen wir diese Kompensation durch finanzielle Förderung entsprechender Projekte. Mehr Details finden Sie in unserer Klimabilanz.
Klappentext
Inhaltsverzeichnis

A 1998 collection of original articles by leading researchers in area of programming languages.



Introduction; 1. Operational reasoning about primitive objects A. Gordon; 2. Semantics for core concurrent ML with computation types A. Jeffrey; 3. Relational reasoning about contexts S. B. Lassen; 4. Labelling techniques and typed fixed-point operators J. Mitchell, M. Hoang and B. T. Howard; 5. Semantics of memory management for plymorphic languages G. Morrisett and R. Harper; 6. Operational reasoning for functional languages with local state A. Pitts, I. Stark; 7. Improvement theory and its applications D. Sands; 8. The coverage of operational semantics S. F. Smith; 9. Reasoning about functions with effects C. Talcott.