External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 23, Issue 1

    1 -- 27Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. Linearity and iterator types for Gödel s System
    29 -- 86Fausto Spoto, Étienne Payet. Magic-sets for localised analysis of Java bytecode
    87 -- 143Axel Simon, Andy King. The two variable per inequality abstract domain
    runs on