Journals in DBLP

Theor. Comput. Sci.
2007, volume: 375, number: 1-3

1. Olivier Danvy, Peter W. O'Hearn, Philip Wadler
   Preface. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:1-2 [Journal]
   
2. Claudio Hermida, Robert D. Tennent
   A fibrational framework for possible-world semantics of Algol-like languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:3-19 [Journal]
   
3. Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power
   Combining algebraic effects with continuations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:20-40 [Journal]
   
4. Andrzej Filinski
   On the relations between monadic semantics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:41-75 [Journal]
   
5. Malgorzata Biernacka, Olivier Danvy
   A syntactic correspondence between context-sensitive calculi and abstract machines. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:76-108 [Journal]
   
6. Cliff B. Jones
   Splitting atoms safely. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:109-119 [Journal]
   
7. Neil D. Jones, Nils Andersen
   Flow analysis of lazy higher-order functional programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:120-136 [Journal]
   
8. Matthew Might, Olin Shivers
   Analyzing the environment structure of higher-order languages using frame strings. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:137-168 [Journal]
   
9. Eijiro Sumii, Benjamin C. Pierce
   A bisimulation for dynamic sealing. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:169-192 [Journal]
   
10. Peter J. Freyd
    Core algebra revisited. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:193-200 [Journal]
    
11. Philip Wadler
    The Girard-Reynolds isomorphism (second edition). [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:201-226 [Journal]
    
12. Stephen Brookes
    A semantics for concurrent separation logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:227-270 [Journal]
    
13. Peter W. O'Hearn
    Resources, concurrency, and local reasoning. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:271-307 [Journal]
    
14. Hongseok Yang
    Relational separation logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:308-334 [Journal]
    
15. F. Lockwood Morris
    A few exercises in theorem processing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:335-345 [Journal]
    
16. Frank J. Oles
    On being a student of John Reynolds. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:346-350 [Journal]