Sfoglia per Autore
An Algebraic Theory of Observables
1994-01-01 Comini, Marco; Levi, G.
Abstract Debugging of Logic Programs
1994-01-01 Comini, Marco; Levi, G; Vitiello, G.
Compositionality of SLD-derivations and their abstractions
1995-01-01 Comini, Marco; Levi, G; Meo, M. C.
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.
Declarative Diagnosis Revisited
1995-01-01 Comini, Marco; Levi, G; Vitiello, G.
The AND-compositionality of CLP Computed Answer Constraints
1996-01-01 Bagnara, R; Comini, Marco; Scozzari, F; Zaffanella, E.
Proving properties of Logic Programs by Abstract Diagnosis
1996-01-01 Comini, Marco; Levi, G; Meo, M. C.; Vitiello, G.
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.
Compositionality properties of SLD-derivations
1999-01-01 Comini, Marco; Meo, Mc
Abstract diagnosis
1999-01-01 Comini, Marco; Levi, G; Meo, Mc; Vitiello, G.
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.
How to Transform an Analyzer into a Verifier
2001-01-01 Comini, Marco; Gori, Roberta; Levi, Giorgio
A theory of observables for logic programs
2001-01-01 Comini, Marco; Levi, G; Meo, Mc
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.
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. | |
Compositionality properties of SLD-derivations | 1-gen-1999 | Comini, Marco; Meo, Mc | |
Abstract diagnosis | 1-gen-1999 | Comini, Marco; Levi, G; Meo, Mc; Vitiello, G. | |
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. |
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