Implementation Projects of Marco Comini

Implementation Projects of Marco Comini

This list contains (recent) Projects where Marco Comini has been involved with. The abstracts of the Projects can be retrieved by clicking on their title. Their (.tar.gz) code is available.

2002

  1. An abstract diagnosis based debugger for functional programs.

2001

  1. (Abstract Interpretation based) Verification of Logic Programs w.r.t. Type Information
    Available: code

1998

  1. The type-based diagnoser for CHIP

1997

  1. Abstract Diagnosis Meta-Interpreters
    Available: code