Concepedia

Predicate Analysis

Predicate Analysis is a static program analysis technique that determines the possible truth values of boolean expressions at various program points to infer control-flow behavior by identifying which branches are feasible under given conditions.

307

Publications

12.5K

Citations

559

Authors

245

Institutions

Publications per year

2017–2026

22

Parents

Publications

307

A More General Theory of Definite Descriptions

Richard Sharvy · The Philosophical Review · 1980 · 388 citations

, , +6

A theory of individual-level predicates based on blind mandatory scalar implicatures

Giorgio Magri · Natural Language Semantics · 2009 · 302 citations

, , +7

Predicate abstraction for software verification

Cormac Flanagan, Shaz Qadeer · 2002 · 280 citations

, , +15

Locating faults through automated predicate switching

Xiangyu Zhang, Neelam Gupta, Rajiv Gupta · 2006 · 280 citations

, , +13

Double Objects Again

Sigrid Beck, Kyle Johnson · Linguistic Inquiry · 2004 · 271 citations

, , +10

1–5 of 307

Authors

559

  1. VK
    Vijay K. Garg

    The University of Texas at Austin, United States

    9 publications · 520 citations

    9

    h-index

  2. KT
    Kuo‐Chung Tai

    North Carolina State University, United States

    5 publications · 151 citations

    5

    h-index

  3. SJ
    Suresh Jagannathan

    Purdue University West Lafayette, United States

    4 publications · 228 citations

    4

    h-index

  4. MS
    Michael Schlansker

    Hewlett-Packard (United States), United States

    4 publications · 130 citations

    4

    h-index

  5. DI
    David I. August

    Princeton University, United States

    4 publications · 159 citations

    4

    h-index

1–5 of 559

Institutions

245

  1. The University of Texas at Austin

    Austin, United States

    15 h-index

    33 publications

    1.4K citations

  2. IBM (United States)

    Armonk, United States

    6 h-index

    7 publications

    468 citations

  3. Princeton University

    Princeton, United States

    6 h-index

    12 publications

    761 citations

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

    Le Chesnay-Rocquencourt, France

    6 h-index

    15 publications

    244 citations

  5. North Carolina State University

    Raleigh, United States

    6 h-index

    10 publications

    285 citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    6 h-index

    12 publications

    604 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    6 publications

    138 citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    5 h-index

    13 publications

    485 citations

1–8 of 245

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 7 publications · 370 citations

    7

    h-index

  2. ACM SIGPLAN Notices

    6 publications · 143 citations

    6

    h-index

  3. ACM SIGMOD Record

    5 publications · 131 citations

    5

    h-index

  4. Information Processing Letters

    5 publications · 78 citations

    5

    h-index

  5. Theoretical Computer Science

    5 publications · 289 citations

    5

    h-index

1–5