Sfoglia per Autore
Selected Papers of 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)
2002-01-01 Comini, Marco; Falaschi, Moreno
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications
2002-01-01 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.
Static Verification of UML Model Consistency
2006-01-01 Baruzzo, Andrea; Comini, Marco
Checking UML Model Consistency
2006-01-01 Baruzzo, Andrea; 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 rule-based method to match Software Patterns against UML Models
2008-01-01 Ballis, Demis; Baruzzo, A; Comini, Marco
A Methodology for UML Models V&V
2008-01-01 Baruzzo, A; 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 of First Order Functional Logic Programs
2011-01-01 Bacci, Giovanni; Comini, Marco
Abstract diagnosis for timed concurrent constraint programs
2011-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
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
Towards an Effective Decision Procedure for LTL formulas with Constraints
2013-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
Automatic Inference of Term Equivalence in Term Rewriting Systems
2013-01-01 Comini, Marco; Torella, Luca
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting
2013-01-01 Comini, Marco; Torella, Luca
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
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