Volume 375, Numbers 1-3, May 2007
Festschrift for John C. Reynolds's 70th birthday
Contributions
- Claudio Hermida, Robert D. Tennent:
A fibrational framework for possible-world semantics of Algol-like languages.
3-19
- Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power:
Combining algebraic effects with continuations.
20-40
- Andrzej Filinski:
On the relations between monadic semantics.
41-75
- Malgorzata Biernacka, Olivier Danvy:
A syntactic correspondence between context-sensitive calculi and abstract machines.
76-108
- Cliff B. Jones:
Splitting atoms safely.
109-119
- Neil D. Jones, Nils Andersen:
Flow analysis of lazy higher-order functional programs.
120-136
- Matthew Might, Olin Shivers:
Analyzing the environment structure of higher-order languages using frame strings.
137-168
- Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for dynamic sealing.
169-192
- Peter J. Freyd:
Core algebra revisited.
193-200
- Philip Wadler:
The Girard-Reynolds isomorphism (second edition).
201-226
- Stephen Brookes:
A semantics for concurrent separation logic.
227-270
- Peter W. O'Hearn:
Resources, concurrency, and local reasoning.
271-307
- Hongseok Yang:
Relational separation logic.
308-334
- F. Lockwood Morris:
A few exercises in theorem processing.
335-345
- Frank J. Oles:
On being a student of John Reynolds.
346-350
Last update Sat May 18 20:57:07 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
