- A Theory of Observables for Logic Programs Marco Comini and Giorgio Levi
- A Compact Fixpoint Semantics for Term Rewriting Systems
- Electronic Notes in Theoretical Computer Science 48 (2001) URL: http://www.elsevier.nl/locate/entcs/volume48.html pp. 1 16
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation
- Abstract Diagnosis Marco Comini a
- Curriculum Vitae of Marco Comini
- A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behavior of First Order
- Compositionality in SLD-derivations and their
- A rule-based method to match Software Patterns against UML Models
- A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behavior of TCCP
- Abstract Diagnosis of First Order Functional Logic Programs
- A Framework for Computer Aided Consistency Verification of UML Models
- Toward a Unified Framework for Quality and Consistency Verification of UML Models
- Checking UML Model Consistency A. Baruzzo1
- Electronic Notes in Theoretical Computer Science 40 (2001) URL: http://www.elsevier.nl/locate/entcs/volume40.html 18 pages
- Abstract Interpretation based Verification of Logic Programs
- The AND-compositionality of CLP computed answer constraints.
- Declarative Diagnosis Revisited Marco Comini, Giorgio Levi
- Abstract Debugging of Logic Programs Marco Comini Giorgio Levi
- An Algebraic Theory of Observables
- A Minimalist Visual Notation for Design Patterns and Antipatterns
- Proving Properties of Logic Programs by Abstract Diagnosis
- Modular Abstract Diagnosis Marco Comini, Giorgio Levi and Giuliana Vitiello
- Curriculum vitae et studiorum di Comini Marco
- VeriPolyTypes: a tool for Verification of Logic Programs w.r.t. Type Specifications
- Electronic Notes in Theoretical Computer Science 40 (2001) URL: http://www.elsevier.nl/locate/entcs/volume40.html 18 pages
- An Algebraic Theory of Observables
- Declarative diagnosis revisited Marco Comini, Giorgio Levi
- Modular Abstract Diagnosis Marco Comini, Giorgio Levi and Giuliana Vitiello
- The AND -compositionality of CLP computed answer constraints.
- Diagnosis of CHIP Programs Using Type Information
- Compositionality properties of SLD-derivations
- Electronic Notes in Theoretical Computer Science 48 (2001) URL: http://www.elsevier.nl/locate/entcs/volume48.html pp. 1 -16
- How to Transform an Analyzer into a Verifier Marco Comini1, Roberta Gori2, and Giorgio Levi2
- Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs
- Compositionality properties of SLD -derivations
- Abstract Diagnosis of Functional Programs? M. Alpuente1, M. Comini2, S. Escobar1, M. Falaschi2, and S. Lucas1
- Abstract Debugging of Logic Programs Marco Comini Giorgio Levi
- VeriPolyTypes: a tool for Verification of Logic Programs w.r.t. Type Specifications
- A Theory of Observables for Logic Programs Marco Comini and Giorgio Levi
- Diagnosis of CHIP Programs Using Type Information
- A Methodology for UML Models V&V A. Baruzzo and M. Comini
- Static Verification of UML Model Consistency A. Baruzzo1
- Universit`a degli Studi di Pisa Facolt`a di Scienze Matematiche Fisiche e Naturali
- Compositionality in SLD -derivations and their abstractions
- Proving Properties of Logic Programs by Abstract Diagnosis
- Abstract Interpretation based Verification of Logic Programs
- Abstract Diagnosis Marco Comini a , Giorgio Levi a , Maria Chiara Meo b and
- Universit`a degli Studi di Pisa Dipartimento di Informatica
- Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs
