Concepedia

Narrowing Operators

Narrowing Operators is a formal method in abstract interpretation that belongs to the class of approximation refinement techniques, distinguished by its use of a decreasing sequence of over-approximations to accelerate the convergence of fixed-point computations in static program analysis.

21

Publications

1K

Citations

37

Authors

21

Institutions

Publications per year

2017–2026

0

Parents

Publications

21

Solving Polynomial Systems Using a Branch and Prune Approach

Pascal Van Hentenryck, David McAllester, Deepak Kapur · SIAM Journal on Numerical Analysis · 1997 · 279 citations

, , +16

Narrowing as the Operational Semantics of Functional Languages.

Uday S. Reddy · SLP · 1985 · 183 citations

, , +12

Completeness results for basic narrowing

Aart Middeldorp, Erik Hamoen · Applicable Algebra in Engineering Communication and Computing · 1994 · 117 citations

, , +9

Lazy narrowing: Strong completeness and eager variable elimination

Aart Middeldorp, Satoshi Okui, Tetsuo Ida · Theoretical Computer Science · 1996 · 59 citations

, , +5

Widening and narrowing operators for abstract interpretation

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

, , +10

1–5 of 21

Authors

37

  1. AM
    Aart Middeldorp

    University of Tsukuba, Japan

    3 publications · 208 citations

    3

    h-index

  2. ND
    Nachum Dershowitz

    University of Illinois Urbana-Champaign, United States

    3 publications · 50 citations

    3

    h-index

  3. SO
    Satoshi Okui

    University of Tsukuba, Japan

    2 publications · 91 citations

    2

    h-index

  4. CM
    Corrado Moiso

    Telecom Italia Lab, Italy

    2 publications · 51 citations

    2

    h-index

  5. MM
    M. M. Popov

    Yuriy Fedkovych Chernivtsi National University, Ukraine

    2 publications · 57 citations

    2

    h-index

1–5 of 37

Institutions

21

  1. University of Tsukuba

    Tsukuba, Japan

    3 h-index

    5 publications

    326 citations

  2. Portland State University

    Portland, United States

    3 h-index

    4 publications

    85 citations

  3. Max Planck Society

    Munich, Germany

    2 h-index

    2 publications

    26 citations

  4. Max Planck Institute for Informatics

    Saarbrücken, Germany

    2 h-index

    2 publications

    26 citations

  5. Yuriy Fedkovych Chernivtsi National University

    Chernivtsi, Ukraine

    2 h-index

    4 publications

    151 citations

  6. Indiana University

    Bloomington, United States

    1 h-index

    1 publications

    11 citations

  7. University of Missouri

    Columbia, United States

    1 h-index

    2 publications

    22 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    1 publications

    15 citations

1–8 of 21

Venues

  1. Journal of Symbolic Computation

    2 publications · 49 citations

    2

    h-index

  2. SLP

    2 publications · 197 citations

    2

    h-index

  3. 2

    h-index

  4. Lecture notes in computer science

    LNCS · Book series · 1 publications · 13 citations

    1

    h-index

  5. SIAM Journal on Numerical Analysis

    1 publications · 279 citations

    1

    h-index

1–5