IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 123
Titolo Data di pubblicazione Autore(i) File
The Correctness of Set-Sharing 1-gen-1998 Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 1-gen-1998 Bagnara, Roberto
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.
Analysing with China 1-gen-1999 Bagnara, Roberto
On the Quality of Available Prolog Implementations 1-gen-1999 Bagnara, Roberto
Is the ISO Prolog Standard Taken Seriously? 1-gen-1999 Bagnara, Roberto
Precise and Practical Mode Analysis with the China Analyzer 1-gen-1999 Bagnara, Roberto
Decomposing Non-Redundant Sharing by Complementation 1-gen-1999 Zaffanella, Enea; Hill, P. M.; Bagnara, Roberto
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of <EM>Pos</EM> 1-gen-1999 Bagnara, Roberto; Schachte, P.
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
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 1-gen-2000 Bagnara, Roberto; Zaffanella, Enea; Hill, P. M.
Finite-Tree Analysis for Constraint Logic-Based Languages 1-gen-2001 Bagnara, Roberto; Gori, R.; 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
Finite-Tree Analysis for Constraint Logic-Based Languages 1-gen-2001 Bagnara, Roberto; Gori, R.; Hill, P. M.; Zaffanella, Enea
Boolean Functions for Finite-Tree Dependencies 1-gen-2001 Bagnara, Roberto; Zaffanella, Enea; Gori, R.; Hill, P. M.
Boolean Functions for Finite-Tree Dependencies 1-gen-2001 Bagnara, Roberto; Zaffanella, Enea; Gori, R.; Hill, P. M.
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 1-gen-2002 Bagnara, Roberto; Ricci, E.; Zaffanella, Enea; Hill, P. M.
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Mostrati risultati da 21 a 40 di 123
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