ask others

Theoretical Computer Science, Volume 375

> Home > Journals > Theoretical Computer Science

Volume 375, Numbers 1-3, May 2007

Festschrift for John C. Reynolds's 70th birthday

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/DanvyOW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/DanvyOW07
Olivier Danvy, Peter W. O'Hearn, Philip Wadler:
Preface. 1-2

Contributions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/HermidaT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/HermidaT07
Claudio Hermida, Robert D. Tennent:
A fibrational framework for possible-world semantics of Algol-like languages. 3-19
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/HylandLPP07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/HylandLPP07
Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power:
Combining algebraic effects with continuations. 20-40
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Filinski07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Filinski07
Andrzej Filinski:
On the relations between monadic semantics. 41-75
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BiernackaD07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BiernackaD07
Malgorzata Biernacka, Olivier Danvy:
A syntactic correspondence between context-sensitive calculi and abstract machines. 76-108
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Jones07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Jones07
Cliff B. Jones:
Splitting atoms safely. 109-119
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/JonesA07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/JonesA07
Neil D. Jones, Nils Andersen:
Flow analysis of lazy higher-order functional programs. 120-136
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/MightS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/MightS07
Matthew Might, Olin Shivers:
Analyzing the environment structure of higher-order languages using frame strings. 137-168
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/SumiiP07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/SumiiP07
Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for dynamic sealing. 169-192
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Freyd07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Freyd07
Peter J. Freyd:
Core algebra revisited. 193-200
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Wadler07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Wadler07
Philip Wadler:
The Girard-Reynolds isomorphism (second edition). 201-226
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Brookes07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Brookes07
Stephen Brookes:
A semantics for concurrent separation logic. 227-270
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/OHearn07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/OHearn07
Peter W. O'Hearn:
Resources, concurrency, and local reasoning. 271-307
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Yang07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Yang07
Hongseok Yang:
Relational separation logic. 308-334
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Morris07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Morris07
F. Lockwood Morris:
A few exercises in theorem processing. 335-345
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Oles07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Oles07
Frank J. Oles:
On being a student of John Reynolds. 346-350

maintained by

at