The following pages link to Marco Comini (Q1274453):
Displayed 20 items.
- (Q987978) (redirect page) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Compositionality properties of SLD-derivations (Q1274454) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Abstract interpretation based verification of logic programs (Q1887175) (← links)
- A program analysis framework for \textit{tccp} based on abstract interpretation (Q2628304) (← links)
- Abstract Diagnosis for tccp using a Linear Temporal Logic (Q2931280) (← links)
- How to Transform an Analyzer into a Verifier (Q2996196) (← links)
- Abstract Diagnosis of First Order Functional Logic Programs (Q3003495) (← links)
- Abstract Diagnosis of Functional Programs (Q3079916) (← links)
- Abstract diagnosis for timed concurrent constraint programs (Q3087437) (← links)
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (Q3522067) (← links)
- (Q4499243) (← links)
- Abstract diagnosis (Q4700386) (← links)
- (Q4896503) (← links)
- Assertion based Inductive Verification Methods for Logic Programs (Q4923368) (← links)
- Logic programs as specifications in the inductive verification of logic programs (Q4923522) (← links)
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (Q5398052) (← links)
- A Rule-based Method to Match Software Patterns Against UML Models (Q5415655) (← links)
- Abstract Analysis of Universal Properties for tccp (Q5743591) (← links)