BAGNARA, Roberto

BAGNARA, Roberto  

Dipartimento di Scienze Matematiche, Fisiche e Informatiche  

Mostra records
Risultati 1 - 20 di 113 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
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
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2004 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
A General Event Handling System for the Valet-Plus 1-gen-1988 Bagnara, Roberto
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 1-gen-1998 Bagnara, Roberto
A Linear Domain for Analyzing the Distribution of Numerical Values 1-gen-2005 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A New Encoding of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Prolog-Based Environment for Reasoning About Programming Languages 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Reactive Implementation of Pos using ROBDDs 1-gen-1996 Bagnara, Roberto
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods 1-gen-1995 Bagnara, Roberto
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages 1-gen-2016 Bagnara, Roberto; Abramo, Bagnara; Benedetti, Alessandro; Patricia, M. Hill
An Application of Constraint Propagation to Data-Flow Analysis 1-gen-1993 Bagnara, Roberto; Giacobazzi, R.; Levi, G.
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2008 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Analysing with China 1-gen-1999 Bagnara, Roberto
Announcing Kermit68K, a Portable 68000 Kermit Program 1-gen-1987 Bagnara, Roberto
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 1-gen-2009 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
BARR-C:2018 and MISRA C:2012 (with Amendment 2): Synergy Between the Two Most Widely Used C Coding Standards 1-gen-2021 Bagnara, Roberto; Barr, Michael; Hill, Patricia M.
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards 1-gen-2020 Bagnara, Roberto; Barr, Michael; Hill, Patricia M.