|
Journals in DBLP
- Roberto Giacobazzi, Isabella Mastroeni
Non-Standard Semantics for Program Slicing. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2003, v:16, n:4, pp:297-339 [Journal]
- Lunjin Lu
Path Dependent Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2003, v:16, n:4, pp:341-377 [Journal]
- Aleksandar Nanevski, Guy E. Blelloch, Robert Harper
Automatic Generation of Staged Geometric Predicates. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2003, v:16, n:4, pp:379-400 [Journal]
|