Journals in DBLP

Higher-Order and Symbolic Computation
2006, volume: 19, number: 1

1. Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:1, pp:5- [Journal]
   
2. Matthieu Martel
   Semantics of roundoff error propagation in finite precision calculations. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:1, pp:7-30 [Journal]
   
3. Antoine Miné
   The octagon abstract domain. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:1, pp:31-100 [Journal]
   
4. V. Krishna Nandivada, Suresh Jagannathan
   Dynamic state restoration using versioning exceptions. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:1, pp:101-124 [Journal]
   
5. François Pottier, Nadji Gauthier
   Polymorphic typed defunctionalization and concretization. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:1, pp:125-162 [Journal]