External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 16, Issue 4

    297 -- 339Roberto Giacobazzi, Isabella Mastroeni. Non-Standard Semantics for Program Slicing
    341 -- 377Lunjin Lu. Path Dependent Analysis of Logic Programs
    379 -- 400Aleksandar Nanevski, Guy E. Blelloch, Robert Harper. Automatic Generation of Staged Geometric Predicates
    runs on