Sfoglia per Autore
Interpretazione astratta in programmazione logica concorrente
1993-01-01 Zaffanella, Enea
Abstracting Synchronization in Concurrent Constraint Programming
1994-01-01 Zaffanella, Enea; Giacobazzi, R.; Levi, G.
Domain Independent Ask Approximation in CCP
1995-01-01 Zaffanella, Enea
Domain Independent Ask Approximation in CCP
1995-01-01 Zaffanella, Enea
The AND-Compositionality of CLP Computed Answer Constraints
1996-01-01 Bagnara, Roberto; Comini, M.; Scozzari, F.; Zaffanella, Enea
Modular Analysis of Suspension Free cc Programs
1996-01-01 Zaffanella, Enea
Sharing Revisited
1997-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Set-Sharing is Redundant for Pair-Sharing
1997-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Abstracting Synchronization in Concurrent Constraint Programming
1998-01-01 Zaffanella, Enea; Giacobazzi, R.; Levi, G.
The Correctness of Set-Sharing
1998-01-01 Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea
The Correctness of Set-Sharing
1998-01-01 Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea
Enhancing Sharing for Precision
1999-01-01 Bagnara, Roberto; Zaffanella, Enea; Hill, P. M.
Widening Sharing
1999-01-01 Zaffanella, Enea; Bagnara, Roberto; Hill, P. M.
Decomposing Non-Redundant Sharing by Complementation
1999-01-01 Zaffanella, Enea; Hill, P. M.; Bagnara, Roberto
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation
2000-01-01 Bagnara, Roberto; Zaffanella, Enea; Hill, P. M.
Efficient Structural Information Analysis for Real CLP Languages
2000-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Efficient Structural Information Analysis for Real CLP Languages
2000-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages
2001-01-01 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages
2001-01-01 Zaffanella, Enea
Boolean Functions for Finite-Tree Dependencies
2001-01-01 Bagnara, Roberto; Zaffanella, Enea; Gori, R.; Hill, P. M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Interpretazione astratta in programmazione logica concorrente | 1-gen-1993 | Zaffanella, Enea | |
Abstracting Synchronization in Concurrent Constraint Programming | 1-gen-1994 | Zaffanella, Enea; Giacobazzi, R.; Levi, G. | |
Domain Independent Ask Approximation in CCP | 1-gen-1995 | Zaffanella, Enea | |
Domain Independent Ask Approximation in CCP | 1-gen-1995 | Zaffanella, Enea | |
The AND-Compositionality of CLP Computed Answer Constraints | 1-gen-1996 | Bagnara, Roberto; Comini, M.; Scozzari, F.; Zaffanella, Enea | |
Modular Analysis of Suspension Free cc Programs | 1-gen-1996 | Zaffanella, Enea | |
Sharing Revisited | 1-gen-1997 | Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea | |
Set-Sharing is Redundant for Pair-Sharing | 1-gen-1997 | Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea | |
Abstracting Synchronization in Concurrent Constraint Programming | 1-gen-1998 | Zaffanella, Enea; Giacobazzi, R.; Levi, G. | |
The Correctness of Set-Sharing | 1-gen-1998 | Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea | |
The Correctness of Set-Sharing | 1-gen-1998 | Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea | |
Enhancing Sharing for Precision | 1-gen-1999 | Bagnara, Roberto; Zaffanella, Enea; Hill, P. M. | |
Widening Sharing | 1-gen-1999 | Zaffanella, Enea; Bagnara, Roberto; Hill, P. M. | |
Decomposing Non-Redundant Sharing by Complementation | 1-gen-1999 | Zaffanella, Enea; Hill, P. M.; Bagnara, Roberto | |
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation | 1-gen-2000 | Bagnara, Roberto; Zaffanella, Enea; Hill, P. M. | |
Efficient Structural Information Analysis for Real CLP Languages | 1-gen-2000 | Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea | |
Efficient Structural Information Analysis for Real CLP Languages | 1-gen-2000 | Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea | |
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages | 1-gen-2001 | Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto | |
Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages | 1-gen-2001 | Zaffanella, Enea | |
Boolean Functions for Finite-Tree Dependencies | 1-gen-2001 | Bagnara, Roberto; Zaffanella, Enea; Gori, R.; Hill, P. M. |
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