Concepedia

Numeric Abstract Domains

Numeric Abstract Domains is a class of abstract domains in static program analysis that specifically models numerical properties of program variables using mathematical structures such as lattices and order relations to enable sound approximation of program semantics.

35

Publications

1.7K

Citations

56

Authors

36

Institutions

Publications per year

2017–2026

7

Variants

Numerical Abstract Domains

Parents

Publications

35

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · Science of Computer Programming · 2008 · 466 citations

, , +11

A framework for numeric analysis of array operations

Denis Gopan, Thomas Reps, Mooly Sagiv · 2005 · 158 citations

, , +16

Weakly relational numerical abstract domains

Antoine Miné · OpenGrey (Institut de l'Information Scientifique et Technique) · 2004 · 130 citations · Full text

, , +12

Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics

Antoine Miné · 2006 · 108 citations

, , +17

Fast polyhedra abstract domain

Gagandeep Singh, Markus Püschel, Martin Vechev · 2016 · 84 citations

, , +13

1–5 of 35

Authors

56

  1. MP
    Markus Püschel

    Carnegie Mellon University, United States

    6 publications · 181 citations

    6

    h-index

  2. MV
    Martin Vechev

    ETH Zurich, Switzerland

    6 publications · 181 citations

    6

    h-index

  3. GS
    Gagandeep Singh

    ETH Zurich, Switzerland

    6 publications · 181 citations

    6

    h-index

  4. AM
    Antoine Miné

    École Normale Supérieure - PSL, France

    6 publications · 309 citations

    6

    h-index

  5. MS
    Mooly Sagiv

    Tel Aviv University, Israel

    4 publications · 283 citations

    4

    h-index

1–5 of 56

Institutions

36

  1. ETH Zurich

    Zurich, Switzerland

    7 h-index

    22 publications

    627 citations

  2. Tel Aviv University

    Tel Aviv, Israel

    4 h-index

    6 publications

    364 citations

  3. Microsoft (United States)

    Redmond, United States

    4 h-index

    5 publications

    173 citations

  4. École Normale Supérieure - PSL

    Paris, France

    4 h-index

    4 publications

    177 citations

  5. University of Parma

    Parma, Italy

    2 h-index

    4 publications

    1K citations

  6. Commissariat à l'Énergie Atomique et aux Énergies Alternatives

    Paris, France

    2 h-index

    3 publications

    45 citations

  7. École Polytechnique

    Palaiseau, France

    2 h-index

    2 publications

    59 citations

  8. University of Leeds

    Leeds, United Kingdom

    2 h-index

    2 publications

    509 citations

1–8 of 36

Venues

  1. ACM SIGPLAN Notices

    4 publications · 89 citations

    4

    h-index

  2. Science of Computer Programming

    3 publications · 508 citations

    3

    h-index

  3. 1

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 16 citations

    1

    h-index

  5. Formal Methods in System Design

    1 publications · 43 citations

    1

    h-index

1–5