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