IRIS

COMINI, Marco

COMINI, Marco  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 42 (tempo di esecuzione: 0.042 secondi).
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