Algol-like Languages, Volume 2

Contents

Part IV FUNCTOR-CATEGORY SEMANTICS . . . 1

11. Functor Categories and Store Shapes ... 3
Frank J. Oles
12. Using Functor Categories to Generate Intermediate Code . . . 13
John C. Reynolds

Part V SPECIFICATION LOGIC . . . 39

13 Semantical Analysis of Specification Logic . . . 41
Robert D. Tennent
14 Semantical Analysis of Specification Logic, 2 . . . 65
Peter W. O'Hearn and Robert D. Tennent

15 Full Abstraction for the Second-Order Subset . . . 97
Kurt Sieber
16 Parametricity and Local Variables . . . 109
Peter W. O'Hearn and Robert D. Tennent
17 Operationally-Based Reasoning About Local Variables . . . 165
Andrew M. Pitts

Part VII INTERFERENCE, IRREVERSIBILITY, AND CONCURRENCY . . . 87

18 Syntactic Control of Interference Revisited . . . 89
Peter W. O'Hearn, A. John Power, Makoto Takeyama and Robert D. Tennent
19 Global State Considered Unnecessary . . . 227
Uday S. Reddy
20 Linearity, Sharing and State . . . 297
Samson Abramsky and Guy McCusker
21 The Essence of Parallel Algol . . . 331
Stephen Brookes