search for books and compare prices
Tables of Contents for Higher Order Operational Techniques in Semantics
Chapter/Section Title
Page #
Page Count
List of contributors
vi
1
Preface
vii
Introduction
1
8
Operational equivalences for untyped and polymorphic object calculi
9
46
A.D. Gordon
Semantics for core Concurrent ML using computation types
55
36
A. Jeffrey
Relational reasoning about contexts
91
46
S.B. Lassen
Labelling techniques and typed fixed-point operators
137
38
J.C. Mitchell
M. Hoang
B.T. Howard
Semantics of memory management for polymorphic languages
175
52
G. Morrisett
R. Harper
Operational reasoning for functions with local state
227
48
A.M. Pitts
I.D.B. Stark
Improvement theory and its applications
275
32
D. Sands
The coverage of operational semantics
307
40
S.F. Smith
Reasoning about functions with effects
347
C. Talcott