Publications en collaboration avec des chercheurs de University of Verona (3)

2005

  1. Inferring termination conditions for logic programs using backwards analysis

    Theory and Practice of Logic Programming, Vol. 5, Núm. 1-2, pp. 75-91

  2. Information flow analysis for Java bytecode

    Lecture Notes in Computer Science

2003

  1. Goal-independent suspension analysis for logic programs with dynamic scheduling

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2618, pp. 84-98