Concepedia

Abstract Domains

Abstract Domain is a mathematical structure consisting of a partially ordered set equipped with approximation semantics that models the computational properties of program values or states in a simplified, computable form to enable static analysis by abstract interpretation.

251

Publications

16K

Citations

433

Authors

208

Institutions

Publications per year

2017–2026

36

Parents

Publications

251

Concrete Mathematics: A Foundation for Computer Science.

Edward A. Bender, Ronald Graham, Donald E. Knuth et al. · American Mathematical Monthly · 1991 · 1.4K citations

, , +7

The octagon abstract domain

Antoine Miné · LISP and Symbolic Computation · 2006 · 698 citations

, , +5

PIQA: Reasoning about Physical Commonsense in Natural Language

Yonatan Bisk, Rowan Zellers, Ronan Le Bras et al. · 2020 · 594 citations

, , +14

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 577 citations

, , +13

Data Types as Lattices

Dana Scott · SIAM Journal on Computing · 1976 · 573 citations

, , +8

1–5 of 251

Authors

433

  1. RG
    Roberto Giacobazzi

    University of Verona, Italy

    12 publications · 639 citations

    12

    h-index

  2. FR
    Francesco Ranzato

    University of Padua, Italy

    11 publications · 606 citations

    11

    h-index

  3. AM
    Antoine Miné

    École Normale Supérieure - PSL, France

    9 publications · 2.2K citations

    9

    h-index

  4. AC
    Agostino Cortesi

    Ca' Foscari University of Venice, Italy

    8 publications · 281 citations

    8

    h-index

  5. FL
    Francesco Logozzo

    Microsoft (United States), United States

    7 publications · 443 citations

    7

    h-index

1–5 of 433

Institutions

208

  1. University of Padua

    Padua, Italy

    12 h-index

    16 publications

    815 citations

  2. Microsoft (United States)

    Redmond, United States

    10 h-index

    12 publications

    727 citations

  3. University of Pisa

    Pisa, Italy

    9 h-index

    15 publications

    425 citations

  4. University of Verona

    Verona, Italy

    8 h-index

    12 publications

    516 citations

  5. IBM (United States)

    Armonk, United States

    7 h-index

    18 publications

    1.3K citations

  6. The Ohio State University

    Columbus, United States

    7 h-index

    11 publications

    531 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    14 publications

    349 citations

  8. Ca' Foscari University of Venice

    Venice, Italy

    7 h-index

    8 publications

    264 citations

1–8 of 208

Venues

  1. ACM SIGPLAN Notices

    11 publications · 903 citations

    10

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 11 publications · 283 citations

    10

    h-index

  3. 8

    h-index

  4. Theory and Practice of Logic Programming

    6 publications · 81 citations

    6

    h-index

  5. Science of Computer Programming

    6 publications · 219 citations

    6

    h-index

1–5