D. Gordon / M. Pitts (eds.)

Higher Order Operational Techniques in Semantics

Herausgeber: Gordon, Andrew D.; Pitts, Andrew M.

• Gebundenes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 400
• Erscheinungstermin: 27. Mai 2011
• Englisch
• Abmessung: 235mm x 157mm x 28mm
• Gewicht: 798g
• ISBN-13: 9780521631686
• ISBN-10: 0521631688
• Artikelnr.: 26961013

Inhaltsangabe

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.