Higher Order Operational Techniques in Semantics

Higher Order Operational Techniques in Semantics

by Andrew D. Gordon
     
 

A 1998 collection of original articles by leading researchers in area of programming languages.See more details below

Overview

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

Product Details

ISBN-13:
9780521631686
Publisher:
Cambridge University Press
Publication date:
01/22/1998
Series:
Publications of the Newton Institute Series, #12
Pages:
400
Product dimensions:
5.98(w) x 8.98(h) x 0.98(d)

Table of Contents

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >