IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 92
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
The Correctness of Set-Sharing 1-gen-1998 Hill, P. M.; Bagnara, Roberto; 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
Enhancing Sharing for Precision 1-gen-1999 Bagnara, Roberto; Zaffanella, Enea; Hill, P. M.
Decomposing Non-Redundant Sharing by Complementation 1-gen-1999 Zaffanella, Enea; Hill, P. M.; Bagnara, Roberto
Widening Sharing 1-gen-1999 Zaffanella, Enea; Bagnara, Roberto; Hill, P. M.
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
Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages 1-gen-2001 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
Finite-Tree Analysis for Constraint Logic-Based Languages 1-gen-2001 Bagnara, Roberto; Gori, R.; Hill, P. M.; Zaffanella, Enea
Mostrati risultati da 1 a 20 di 92
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