7 results on '"Comini, Marco"'
Search Results
2. Abstract Diagnosis of First Order Functional Logic Programs
3. Abstract Diagnosis of Functional Programs
4. How to Transform an Analyzer into a Verifier
5. Proving properties of logic programs by abstract diagnosis
6. Abstract debugging of logic programs
7. On Polymorphic Recursion, Type Systems, and Abstract Interpretation
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.