Concepedia

Abstract Interpretation

Abstract Interpretation is a formal framework for static program analysis that approximates the formal semantics of programs by computing sound fixpoint approximations over abstract domains linked to concrete semantics via abstraction and concretization mappings.

1.6K

Publications

90.9K

Citations

2.3K

Authors

636

Institutions

Publications per year

2017–2026

166

Parents

Children

Publications

1.6K

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

, , +8

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

, , +11

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.2K citations

, , +14

Explanation-Based Generalization: A Unifying View

Tom M. Mitchell, Richard M. Keller, Smadar T. Kedar-Cabelli · Machine Learning · 1986 · 1.2K citations · Full text

, , +7

Discrete abstractions of hybrid systems

Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere et al. · Proceedings of the IEEE · 2000 · 816 citations · Full text

, , +14

1–5 of 1.6K

Authors

2.3K

  1. PC
    Patrick Cousot

    École Normale Supérieure - PSL, France

    39 publications · 10.6K citations

    28

    h-index

  2. RC
    Radhia Cousot

    École Polytechnique, France

    32 publications · 10K citations

    26

    h-index

  3. RG
    Roberto Giacobazzi

    University of Verona, Italy

    28 publications · 1.2K citations

    20

    h-index

  4. MV
    Manuel V. Hermenegildo

    Universidad Politécnica de Madrid, Spain

    26 publications · 1.4K citations

    19

    h-index

  5. MB
    Maurice Bruynooghe

    KU Leuven, Belgium

    18 publications · 1.2K citations

    17

    h-index

1–5 of 2.3K

Institutions

636

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

    Le Chesnay-Rocquencourt, France

    29 h-index

    86 publications

    4.5K citations

  2. University of Edinburgh

    Edinburgh, United Kingdom

    24 h-index

    38 publications

    5.3K citations

  3. Microsoft (United States)

    Redmond, United States

    24 h-index

    52 publications

    3.1K citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    24 h-index

    69 publications

    2.4K citations

  5. University of Oxford

    Oxford, United Kingdom

    22 h-index

    47 publications

    2K citations

  6. University of Pisa

    Pisa, Italy

    21 h-index

    66 publications

    2K citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    21 h-index

    59 publications

    4.9K citations

  8. KU Leuven

    Leuven, Belgium

    19 h-index

    56 publications

    2.7K citations

1–8 of 636

Venues

  1. 31

    h-index

  2. Theoretical Computer Science

    46 publications · 2.9K citations

    27

    h-index

  3. ACM SIGPLAN Notices

    73 publications · 3.5K citations

    27

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 47 publications · 1.2K citations

    21

    h-index

  5. The Journal of Logic Programming

    34 publications · 2.5K citations

    21

    h-index

1–5