External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 4, Issue 1

    5 -- 27Robert R. Kessler, Jed J. Krohnfeldt. A Logical Approach to Program Analysis
    29 -- 99James R. Larus. Compiling Lisp Programs for Parallel Execution
    runs on