MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Marco Comini" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications
by Marco Comini — 2002 — Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming, number UDMI/18/2002/RR in Research Reports
…VeriPolyTypes: a tool for Verification of Logic Programs w.r.t. Type Specifications Marco Comini…
Cited by 3 (2 self) – Add To MetaCart

An Algebraic Theory of Observables
by Marco Comini, Giorgio Levi — 1994
…An Algebraic Theory of Observables Marco Comini and Giorgio Levi Dipartimento di Informatica…
Cited by 28 (9 self) – Add To MetaCart

How to Transform an Analyzer into a Verifier
by Marco Comini, Roberta Gori, Giorgio Levi — 2001 — Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR’01), volume 2250 of Lecture Notes in Artificial Intelligence
…How to Transform an Analyzer into a Verifier Marco Comini 1 , Roberta Gori 2 , and Giorgio Levi 2…
Cited by 4 (3 self) – Add To MetaCart

Abstract debugging of logic programs
by Marco Comini, Giorgio Levi, Giuliana Vitiello — 1994 — Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, volume 883 of Lecture Notes in Computer Science
…Abstract Debugging of Logic Programs 1 Introduction Marco Comini Giorgio Levi Dipartimento di…
Cited by 15 (4 self) – Add To MetaCart

Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs
by Marco Comini, Giorgio Levi, Giuliana Vitiello — 1995 — Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG’95
…Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs Marco…
Cited by 7 (3 self) – Add To MetaCart

Modular abstract diagnosis
by Marco Comini, Giorgio Levi, Giuliana Vitiello — 1998 — In APPIAGULP-PRODE’98
…Modular Abstract Diagnosis Marco Comini, Giorgio Levi and Giuliana Vitiello Abstract Modular…
Cited by 1 (0 self) – Add To MetaCart

Abstract Interpretation based Verification of Logic Programs
by Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe — 2000 — Science of Computer Programming
…Abstract Interpretation based Verification of Logic Programs Marco Comini, Roberta Gori, Giorgio…
Cited by 11 (5 self) – Add To MetaCart

Declarative Diagnosis Revisited
by Marco Comini, Giorgio Levi, Giuliana Vitiello — 1995 — Proceedings of the 1995 Int'l Symposium on Logic Programming
…Declarative Diagnosis Revisited Marco Comini, Giorgio Levi Dipartimento di Informatica, Università…
Cited by 15 (5 self) – Add To MetaCart

A Type-based Diagnoser for CHIP
by Marco Comini, Wlodek Drabent, Jan Maluszynski, Pawel Pietrzak, Marco Comini W/lodek Drabent — 1998
…A Type-based Diagnoser for CHIP Marco Comini, W/lodek Drabent, Jan Ma/luszy'nski, Pawe/l Pietrzak…
Add To MetaCart

Compositionality Properties of SLD-derivations
by Marco Comini, Maria Chiara Meo — 1996 — Theoretical Computer Science
…Compositionality properties of SLD-derivations Marco Comini a and Maria Chiara Meo b a…
Cited by 11 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB