COMINI, Marco
COMINI, Marco
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A compact fixpoint semantics for term rewriting systems
2010-01-01 Alpuente, M; Comini, Marco; Escobar, S; Falaschi, M; Iborra, J.
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting
2013-01-01 Comini, Marco; Torella, Luca
A Debugging Scheme for Functional Programs
2002-01-01 Alpuente, M; Comini, Marco; Escobar, S; Falaschi, M; Lucas, S.
A Methodology for UML Models V&V
2008-01-01 Baruzzo, A; Comini, Marco
A Minimalist Visual Notation for Design Patterns and Antipatterns
2008-01-01 Ballis, Demis; Baruzzo, Andrea; Comini, Marco
A program analysis framework for tccp based on abstract interpretation
2017-01-01 Comini, Marco; Gallardo, María del Mar; Titolo, Laura; Villanueva, Alicia
A rule-based method to match Software Patterns against UML Models
2008-01-01 Ballis, Demis; Baruzzo, A; Comini, Marco
A theory of observables for logic programs
2001-01-01 Comini, Marco; Levi, G; Meo, Mc
Abstract analysis of universal properties for tccp
2015-01-01 Comini, Marco; Gallardo, María del Mar; Titolo, Laura; Villanueva, Alicia
Abstract Debugging of Logic Programs
1994-01-01 Comini, Marco; Levi, G; Vitiello, G.
Abstract diagnosis
1999-01-01 Comini, Marco; Levi, G; Meo, Mc; Vitiello, G.
Abstract diagnosis for TCCP using a linear temporal logic
2014-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
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
Abstract Diagnosis of Functional Programs
2003-01-01 Alpuente, M; Comini, Marco; Escobar, S; M., FALASCHI M; Lucas, S.
Abstract interpretation based verification of logic programs
2003-01-01 Comini, Marco; Gori, R; Levi, G; Volpe, P.
An Algebraic Theory of Observables
1994-01-01 Comini, Marco; Levi, G.
Assertion based Inductive Verification Methods for Logic Programs
2001-01-01 Comini, Marco; Gori, R; Levi, G.
Automatic Inference of Term Equivalence in Term Rewriting Systems
2013-01-01 Comini, Marco; Torella, Luca
Automatic Synthesis of Specifications for First Order Curry Programs
2012-01-01 Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A compact fixpoint semantics for term rewriting systems | 1-gen-2010 | Alpuente, M; Comini, Marco; Escobar, S; Falaschi, M; Iborra, J. | |
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting | 1-gen-2013 | Comini, Marco; Torella, Luca | |
A Debugging Scheme for Functional Programs | 1-gen-2002 | Alpuente, M; Comini, Marco; Escobar, S; Falaschi, M; Lucas, S. | |
A Methodology for UML Models V&V | 1-gen-2008 | Baruzzo, A; Comini, Marco | |
A Minimalist Visual Notation for Design Patterns and Antipatterns | 1-gen-2008 | Ballis, Demis; Baruzzo, Andrea; Comini, Marco | |
A program analysis framework for tccp based on abstract interpretation | 1-gen-2017 | Comini, Marco; Gallardo, María del Mar; Titolo, Laura; Villanueva, Alicia | |
A rule-based method to match Software Patterns against UML Models | 1-gen-2008 | Ballis, Demis; Baruzzo, A; Comini, Marco | |
A theory of observables for logic programs | 1-gen-2001 | Comini, Marco; Levi, G; Meo, Mc | |
Abstract analysis of universal properties for tccp | 1-gen-2015 | Comini, Marco; Gallardo, María del Mar; Titolo, Laura; Villanueva, Alicia | |
Abstract Debugging of Logic Programs | 1-gen-1994 | Comini, Marco; Levi, G; Vitiello, G. | |
Abstract diagnosis | 1-gen-1999 | Comini, Marco; Levi, G; Meo, Mc; Vitiello, G. | |
Abstract diagnosis for TCCP using a linear temporal logic | 1-gen-2014 | Comini, Marco; Titolo, Laura; Villanueva, Alicia | |
Abstract diagnosis for timed concurrent constraint programs | 1-gen-2011 | Comini, Marco; Titolo, Laura; Villanueva, Alicia | |
Abstract Diagnosis of First Order Functional Logic Programs | 1-gen-2011 | Bacci, Giovanni; Comini, Marco | |
Abstract Diagnosis of Functional Programs | 1-gen-2003 | Alpuente, M; Comini, Marco; Escobar, S; M., FALASCHI M; Lucas, S. | |
Abstract interpretation based verification of logic programs | 1-gen-2003 | Comini, Marco; Gori, R; Levi, G; Volpe, P. | |
An Algebraic Theory of Observables | 1-gen-1994 | Comini, Marco; Levi, G. | |
Assertion based Inductive Verification Methods for Logic Programs | 1-gen-2001 | Comini, Marco; Gori, R; Levi, G. | |
Automatic Inference of Term Equivalence in Term Rewriting Systems | 1-gen-2013 | Comini, Marco; Torella, Luca | |
Automatic Synthesis of Specifications for First Order Curry Programs | 1-gen-2012 | Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia |