pith. sign in

Enea Zaffanella

Identifiers

  • name variant Enea Zaffanella 0.60 · backfill

Papers (14)

  1. A Conversion Procedure for NNC Polyhedra cs.CG · 2017 · author #2
  2. The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version cs.PL · 2010 · author #4
  3. Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions cs.CG · 2009 · author #3
  4. A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) cs.PL · 2007 · author #3
  5. An Improved Tight Closure Algorithm for Integer Octagonal Constraints cs.DS · 2007 · author #3
  6. On the Design of Generic Static Analyzers for Modern Imperative Languages cs.PL · 2007 · author #4
  7. Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems cs.CG · 2007 · author #3
  8. The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems cs.MS · 2006 · author #3
  9. Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) cs.PL · 2004 · author #4
  10. Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version cs.PL · 2004 · author #4
  11. Enhanced sharing analysis techniques: a comprehensive evaluation cs.PL · 2004 · author #2
  12. A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages cs.PL · 2004 · author #2
  13. Soundness, Idempotence and Commutativity of Set-Sharing cs.PL · 2001 · author #3
  14. Decomposing Non-Redundant Sharing by Complementation cs.PL · 2001 · author #1

Mentions

  • 1004.0944 #4 · backfill · confidence 0.70 Enea Zaffanella
  • 0904.1783 #3 · backfill · confidence 0.70 Enea Zaffanella
  • 0711.0345 #3 · backfill · confidence 0.70 Enea Zaffanella
  • 0705.4618 #3 · backfill · confidence 0.70 Enea Zaffanella

Frequent Coauthors