Concepedia

Abstract Predicates

Abstract Predicates is a logical construct in Hoare Logic that denotes a predicate defined by its observable behavior under proof rules rather than by an explicit internal formula, enabling modular reasoning about program properties through abstraction.

83

Publications

6.9K

Citations

167

Authors

82

Institutions

Publications per year

2017–2026

13

Parents

Publications

83

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.2K citations

, , +14

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2014 · 483 citations

, , +14

Combined task and motion planning through an extensible planner-independent interface layer

Siddharth Srivastava, Eugene Fang, Lorenzo Riano et al. · 2014 · 475 citations

, , +10

Separation logic and abstraction

Matthew Parkinson, Gavin Bierman · 2005 · 308 citations

, , +14

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2004 · 304 citations

, , +14

1–5 of 83

Authors

167

  1. KL
    Kenneth L. McMillan

    Carnegie Mellon University, United States

    3 publications · 881 citations

    3

    h-index

  2. SJ
    Suresh Jagannathan

    Purdue University West Lafayette, United States

    3 publications · 157 citations

    3

    h-index

  3. RM
    Rupak Majumdar

    Max Planck Institute for Software Systems, Germany

    3 publications · 881 citations

    3

    h-index

  4. TA
    Thomas A. Henzinger

    University of California, Berkeley, United States

    3 publications · 881 citations

    3

    h-index

  5. MP
    Matthew Parkinson

    University of Cambridge, United Kingdom

    3 publications · 391 citations

    3

    h-index

1–5 of 167

Institutions

82

  1. Carnegie Mellon University

    Pittsburgh, United States

    7 h-index

    13 publications

    2.8K citations

  2. University of California, Berkeley

    Berkeley, United States

    5 h-index

    17 publications

    5.6K citations

  3. Lawrence Berkeley National Laboratory

    Berkeley, United States

    3 h-index

    3 publications

    881 citations

  4. Stanford University

    Stanford, United States

    3 h-index

    5 publications

    165 citations

  5. University of California, Los Angeles

    Los Angeles, United States

    3 h-index

    3 publications

    89 citations

  6. Purdue University West Lafayette

    West Lafayette, United States

    3 h-index

    7 publications

    435 citations

  7. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    3 publications

    391 citations

  8. Cadence Design Systems (United States)

    San Jose, United States

    3 h-index

    3 publications

    881 citations

1–8 of 82

Venues

  1. ACM SIGPLAN Notices

    6 publications · 746 citations

    6

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 42 citations

    3

    h-index

  3. 3

    h-index

  4. 1

    h-index

  5. Noûs

    1 publications · 96 citations

    1

    h-index

1–5