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
An abstract diagnosis based debugger for functional programs.
2001
(Abstract Interpretation based) Verification of Logic Programs w.r.t. Type Information
Available:
code
1998
The type-based diagnoser for CHIP
1997
Abstract Diagnosis Meta-Interpreters
Available:
code