Concepedia

Widening Operators

Widening Operators is a formal method in abstract interpretation that belongs to the class of approximation techniques used to ensure convergence of fixed-point computations, distinguished by its ability to accelerate the iterative computation of program invariants by extrapolating sequences of abstract values when convergence is detected to be slow or non-terminating.

21

Publications

805

Citations

24

Authors

22

Institutions

Publications per year

2017–2026

3

Parents

Publications

21

Relational inductive shape analysis

Bor-Yuh Evan Chang, Xavier Rival · 2008 · 158 citations

, , +14

Precise Widening Operators for Convex Polyhedra

2003 · 120 citations

, , +11

Precise widening operators for convex polyhedra

Roberto Bagnara, Patricia M. Hill, Elisa Ricci et al. · Science of Computer Programming · 2005 · 67 citations

, , +11

Widening operators for powerset domains

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · International Journal on Software Tools for Technology Transfer · 2007 · 66 citations · Full text

, , +6

Widening and narrowing operators for abstract interpretation

Agostino Cortesi, Matteo Zanioli · Computer Languages Systems & Structures · 2010 · 52 citations

, , +10

1–5 of 21

Authors

24

  1. DM
    David Monniaux

    Verimag, France

    4 publications · 58 citations

    4

    h-index

  2. PM
    Patricia M. Hill

    University of Leeds, United Kingdom

    3 publications · 164 citations

    3

    h-index

  3. EZ
    Enea Zaffanella

    University of Parma, Italy

    3 publications · 164 citations

    3

    h-index

  4. RB
    Roberto Bagnara

    University of Parma, Italy

    3 publications · 164 citations

    3

    h-index

  5. BE
    Bor-Yuh Evan Chang

    University of Colorado Boulder, United States

    3 publications · 199 citations

    3

    h-index

1–5 of 24

Institutions

22

  1. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    6 publications

    105 citations

  2. Verimag

    Gières, France

    4 h-index

    7 publications

    98 citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    4 h-index

    7 publications

    253 citations

  4. University of Colorado Boulder

    Boulder, United States

    3 h-index

    3 publications

    53 citations

  5. University of Parma

    Parma, Italy

    3 h-index

    7 publications

    395 citations

  6. University of Leeds

    Leeds, United Kingdom

    3 h-index

    3 publications

    164 citations

  7. University of California, Berkeley

    Berkeley, United States

    2 h-index

    2 publications

    184 citations

  8. Ca' Foscari University of Venice

    Venice, Italy

    2 h-index

    3 publications

    133 citations

1–8 of 22

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 75 citations

    3

    h-index

  2. 2

    h-index

  3. ACM SIGPLAN Notices

    1 publications · 26 citations

    1

    h-index

  4. LISP and Symbolic Computation

    1 publications · 15 citations

    1

    h-index

  5. CU Scholar (University of Colorado Boulder)

    Repository · 1 publications · 19 citations

    1

    h-index

1–5