Sfoglia per Autore
Mostra risultati da 21 a 32 di 32
The s-semantics approach: Theory and applications
1994-01-01 Bossi, A.; Gabbrielli, M.; Levi, Giorgio; Martelli, M.
Compilative Constructive Negation in Constraint Logic Programs.
1994-01-01 Bruscoli, P; Levi, Francesca; Levi, Giorgio; Meo, M. C.
Observable Behaviors and Equivalences of Logic Programs
1995-01-01 Gabbrielli, M.; Levi, Giorgio; Meo, M. C.
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs
1995-01-01 Giacobazzi, R.; Debray, K. R.; Levi, Giorgio
Abstract Diagnosis
1999-01-01 Comini, M.; Levi, Giorgio; Meo, M. C.; Vitiello, G.
A Theory of Observables for Logic Programs
2001-01-01 Comini, M.; Levi, Giorgio; Meo, M. C.
Properties of a type abstract interpreter
2002-01-01 Gori, Roberta; Levi, Giorgio
An experiment in type inference and verification by abstract interpretation
2002-01-01 Gori, Roberta; Levi, Giorgio
Pair-Independence and Freeness Analysis through Linear Refinement
2003-01-01 Levi, Giorgio; Spoto, F.
Abstract Interpretation based Verification of Logic Programs
2003-01-01 Comini, M.; Gori, Roberta; Levi, Giorgio; Volpe, P.
On the verification of Finite Failure
2005-01-01 Gori, Roberta; Levi, Giorgio
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
2011-01-01 Galletta, Letterio; Levi, Giorgio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| The s-semantics approach: Theory and applications | 1-gen-1994 | Bossi, A.; Gabbrielli, M.; Levi, Giorgio; Martelli, M. | |
| Compilative Constructive Negation in Constraint Logic Programs. | 1-gen-1994 | Bruscoli, P; Levi, Francesca; Levi, Giorgio; Meo, M. C. | |
| Observable Behaviors and Equivalences of Logic Programs | 1-gen-1995 | Gabbrielli, M.; Levi, Giorgio; Meo, M. C. | |
| Generalized Semantics and Abstract Interpretation for Constraint Logic Programs | 1-gen-1995 | Giacobazzi, R.; Debray, K. R.; Levi, Giorgio | |
| Abstract Diagnosis | 1-gen-1999 | Comini, M.; Levi, Giorgio; Meo, M. C.; Vitiello, G. | |
| A Theory of Observables for Logic Programs | 1-gen-2001 | Comini, M.; Levi, Giorgio; Meo, M. C. | |
| Properties of a type abstract interpreter | 1-gen-2002 | Gori, Roberta; Levi, Giorgio | |
| An experiment in type inference and verification by abstract interpretation | 1-gen-2002 | Gori, Roberta; Levi, Giorgio | |
| Pair-Independence and Freeness Analysis through Linear Refinement | 1-gen-2003 | Levi, Giorgio; Spoto, F. | |
| Abstract Interpretation based Verification of Logic Programs | 1-gen-2003 | Comini, M.; Gori, Roberta; Levi, Giorgio; Volpe, P. | |
| On the verification of Finite Failure | 1-gen-2005 | Gori, Roberta; Levi, Giorgio | |
| An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language | 1-gen-2011 | Galletta, Letterio; Levi, Giorgio |
Mostra risultati da 21 a 32 di 32
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