Concepedia

Fixpoint Computation

Fixpoint Computation is a method in abstract interpretation that determines the least fixpoint of a monotonic function over an abstract domain to capture the invariant properties of program semantics.

347

Publications

18.5K

Citations

585

Authors

306

Institutions

Publications per year

2017–2026

27

Parents

Publications

347

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

, , +16

Similarity flooding: a versatile graph matching algorithm and its application to schema matching

Sergey Melnik, Héctor García-Molina, Erhard Rahm · 2003 · 1.3K citations

, , +15

On the Supremal Controllable Sublanguage of a Given Language

W.M. Wonham, Peter J. Ramadge · SIAM Journal on Control and Optimization · 1987 · 783 citations

, , +13

The Category-Theoretic Solution of Recursive Domain Equations

Michael Smyth, Gordon Plotkin · SIAM Journal on Computing · 1982 · 485 citations

, , +15

Laws of programming

C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text

, , +14

1–5 of 347

Authors

585

  1. CZ
    Carlo Zaniolo

    University of California, Los Angeles, United States

    6 publications · 441 citations

    6

    h-index

  2. VS
    V. S. Subrahmanian

    University of Maryland, College Park, United States

    5 publications · 228 citations

    5

    h-index

  3. ZM
    Zohar Manna

    Stanford University, United States

    5 publications · 258 citations

    5

    h-index

  4. MV
    Manuel V. Hermenegildo

    Universidad Politécnica de Madrid, Spain

    5 publications · 144 citations

    5

    h-index

  5. HS
    Helmut Seidl

    Technical University of Munich, Germany

    5 publications · 141 citations

    5

    h-index

1–5 of 585

Institutions

306

  1. Stanford University

    Stanford, United States

    12 h-index

    23 publications

    5K citations

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

    Le Chesnay-Rocquencourt, France

    11 h-index

    20 publications

    1.3K citations

  3. University of Oxford

    Oxford, United Kingdom

    10 h-index

    32 publications

    3.7K citations

  4. University of Maryland, College Park

    College Park, United States

    10 h-index

    16 publications

    909 citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    8 h-index

    10 publications

    263 citations

  6. University of Calabria

    Rende, Italy

    8 h-index

    18 publications

    1.1K citations

  7. University of Pisa

    Pisa, Italy

    8 h-index

    15 publications

    492 citations

  8. Imperial College London

    London, United Kingdom

    7 h-index

    9 publications

    1.7K citations

1–8 of 306

Venues

  1. Theory and Practice of Logic Programming

    14 publications · 392 citations

    12

    h-index

  2. Theoretical Computer Science

    11 publications · 315 citations

    10

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 11 publications · 236 citations

    10

    h-index

  4. 9

    h-index

  5. Journal of Functional Programming

    8 publications · 283 citations

    8

    h-index

1–5