Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 42
Titolo Data di pubblicazione Autore(i) File
An Algebraic Theory of Observables 1-gen-1994 Comini, Marco; Levi, G.
Abstract Debugging of Logic Programs 1-gen-1994 Comini, Marco; Levi, G; Vitiello, G.
Compositionality of SLD-derivations and their abstractions 1-gen-1995 Comini, Marco; Levi, G; Meo, M. C.
On the Abstract Diagnosis of Logic Programs 1-gen-1995 Comini, Marco; Levi, G; Vitiello, G.
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs 1-gen-1995 Comini, Marco; Levi, G; Vitiello, G.
Beyond the s-Semantics: a Theory of Observables 1-gen-1995 Comini, Marco; Levi, G.
Declarative Diagnosis Revisited 1-gen-1995 Comini, Marco; Levi, G; Vitiello, G.
The AND-compositionality of CLP Computed Answer Constraints 1-gen-1996 Bagnara, R; Comini, Marco; Scozzari, F; Zaffanella, E.
Proving properties of Logic Programs by Abstract Diagnosis 1-gen-1996 Comini, Marco; Levi, G; Meo, M. C.; Vitiello, G.
Tools and Environments for (Constraint) Logic Programming (Workshop Overview) 1-gen-1997 G., Puebla; Comini, Marco; W., Drabent; M., Ducassè; M., Fabris; C., Schulte
Modular Abstract Diagnosis 1-gen-1998 Comini, Marco; Levi, G; Vitiello, G.
Diagnosis of CHIP Programs Using Type Information 1-gen-1999 Comini, Marco; Drabent, W; Pietrzak, P.
Abstract diagnosis 1-gen-1999 Comini, Marco; Levi, G; Meo, Mc; Vitiello, G.
Compositionality properties of SLD-derivations 1-gen-1999 Comini, Marco; Meo, Mc
How to Transform an Analyzer into a Verifier 1-gen-2001 Comini, Marco; Gori, R; Levi, G.
Assertion based Inductive Verification Methods for Logic Programs 1-gen-2001 Comini, Marco; Gori, R; Levi, G.
How to Transform an Analyzer into a Verifier 1-gen-2001 Comini, Marco; Gori, Roberta; Levi, Giorgio
A theory of observables for logic programs 1-gen-2001 Comini, Marco; Levi, G; Meo, Mc
Logic programs as specifications in the inductive verification of logic programs 1-gen-2001 Comini, Marco; Gori, R; Levi, G.
A Debugging Scheme for Functional Programs 1-gen-2002 Alpuente, M; Comini, Marco; Escobar, S; Falaschi, M; Lucas, S.
Mostrati risultati da 1 a 20 di 42
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