Journals in DBLP

Higher-Order and Symbolic Computation
2004, volume: 17, number: 3

1. David A. Basin, Olivier Danvy, Robert Harper
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:171-171 [Journal]
   
2. David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
   Compiler Optimization Correctness by Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:173-206 [Journal]
   
3. Lars Michael Kristensen, Søren Christensen
   Implementing Coloured Petri Nets Using a Functional Programming Language. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:207-243 [Journal]
   
4. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
   A Retrospective on Region-Based Memory Management. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:245-265 [Journal]