External Links

    Journal: New Generation Comput.

    Volume 13, Issue 2

    117 -- 154Danny De Schreye, Kristof Verschaetse. Deriving Linear Size Relations for Logic Programs by Abstract Interpretation
    155 -- 186Michael Hanus. Compile-time Analysis of Nonlinear Constraints in CLP(::::R::::)
    runs on