Sfoglia per Autore
Abstract Debugging of Logic Programs
1994-01-01 Comini, Marco; Levi, G; Vitiello, G.
An Algebraic Theory of Observables
1994-01-01 Comini, Marco; Levi, G.
Compositionality of SLD-derivations and their abstractions
1995-01-01 Comini, Marco; Levi, G; Meo, M. C.
Declarative Diagnosis Revisited
1995-01-01 Comini, Marco; Levi, G; Vitiello, G.
On the Abstract Diagnosis of Logic Programs
1995-01-01 Comini, Marco; Levi, G; Vitiello, G.
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs
1995-01-01 Comini, Marco; Levi, G; Vitiello, G.
Beyond the s-Semantics: a Theory of Observables
1995-01-01 Comini, Marco; Levi, G.
Proving properties of Logic Programs by Abstract Diagnosis
1996-01-01 Comini, Marco; Levi, G; Meo, M. C.; Vitiello, G.
The AND-compositionality of CLP Computed Answer Constraints
1996-01-01 Bagnara, R; Comini, Marco; Scozzari, F; Zaffanella, E.
Tools and Environments for (Constraint) Logic Programming (Workshop Overview)
1997-01-01 G., Puebla; Comini, Marco; W., Drabent; M., Ducassè; M., Fabris; C., Schulte
Modular Abstract Diagnosis
1998-01-01 Comini, Marco; Levi, G; Vitiello, G.
Diagnosis of CHIP Programs Using Type Information
1999-01-01 Comini, Marco; Drabent, W; Pietrzak, P.
Abstract diagnosis
1999-01-01 Comini, Marco; Levi, G; Meo, Mc; Vitiello, G.
Compositionality properties of SLD-derivations
1999-01-01 Comini, Marco; Meo, Mc
How to Transform an Analyzer into a Verifier
2001-01-01 Comini, Marco; Gori, R; Levi, G.
Assertion based Inductive Verification Methods for Logic Programs
2001-01-01 Comini, Marco; Gori, R; Levi, G.
A theory of observables for logic programs
2001-01-01 Comini, Marco; Levi, G; Meo, Mc
How to Transform an Analyzer into a Verifier
2001-01-01 Comini, Marco; Gori, Roberta; Levi, Giorgio
Logic programs as specifications in the inductive verification of logic programs
2001-01-01 Comini, Marco; Gori, R; Levi, G.
A Debugging Scheme for Functional Programs
2002-01-01 Alpuente, M; Comini, Marco; Escobar, S; Falaschi, M; Lucas, S.
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications
2002-01-01 Comini, Marco
Selected Papers of 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)
2002-01-01 Comini, Marco; Falaschi, Moreno
Abstract interpretation based verification of logic programs
2003-01-01 Comini, Marco; Gori, R; Levi, G; Volpe, P.
Abstract Diagnosis of Functional Programs
2003-01-01 Alpuente, M; Comini, Marco; Escobar, S; M., FALASCHI M; Lucas, S.
Checking UML Model Consistency
2006-01-01 Baruzzo, Andrea; Comini, Marco
Static Verification of UML Model Consistency
2006-01-01 Baruzzo, Andrea; Comini, Marco
A Methodology for UML Models V&V
2008-01-01 Baruzzo, A; Comini, Marco
A rule-based method to match Software Patterns against UML Models
2008-01-01 Ballis, Demis; Baruzzo, A; Comini, Marco
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
2008-01-01 Comini, Marco; Damiani, F; Vrech, S.
A Minimalist Visual Notation for Design Patterns and Antipatterns
2008-01-01 Ballis, Demis; Baruzzo, Andrea; Comini, Marco
A compact fixpoint semantics for term rewriting systems
2010-01-01 Alpuente, M; Comini, Marco; Escobar, S; Falaschi, M; Iborra, J.
Abstract diagnosis for timed concurrent constraint programs
2011-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
Abstract Diagnosis of First Order Functional Logic Programs
2011-01-01 Bacci, Giovanni; Comini, Marco
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
2012-01-01 Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia
Automatic Synthesis of Specifications for First Order Curry Programs
2012-01-01 Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting
2013-01-01 Comini, Marco; Torella, Luca
Automatic Inference of Term Equivalence in Term Rewriting Systems
2013-01-01 Comini, Marco; Torella, Luca
Towards an Effective Decision Procedure for LTL formulas with Constraints
2013-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems
2013-01-01 Comini, Marco; Torella, Luca
Abstract diagnosis for TCCP using a linear temporal logic
2014-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
Abstract analysis of universal properties for tccp
2015-01-01 Comini, Marco; Gallardo, María del Mar; Titolo, Laura; Villanueva, Alicia
A program analysis framework for tccp based on abstract interpretation
2017-01-01 Comini, Marco; Gallardo, María del Mar; Titolo, Laura; Villanueva, Alicia
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile