Concepedia

Precondition Checking

Precondition Checking is a method in error handling that verifies specified conditions prior to the execution of a program component to ensure validity of inputs and state, thereby preventing erroneous behavior by enforcing constraints that must hold true for correct operation.

70

Publications

3.4K

Citations

141

Authors

78

Institutions

Publications per year

2017–2026

8

Variants

Precondition Verification

Parents

Publications

70

Korat

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov · ACM SIGSOFT Software Engineering Notes · 2002 · 598 citations

, , +13

Korat

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov · 2002 · 299 citations

, , +13

Weakest-precondition of unstructured programs

Mike Barnett, K. Rustan M. Leino · ACM SIGSOFT Software Engineering Notes · 2005 · 203 citations

, , +12

3-Year-Old Children Make Relevance Inferences in Indirect Verbal Communication

Cornelia Schulze, Susanne Grassmann, Michael Tomasello · Child Development · 2013 · 159 citations

, , +17

Weakest-precondition of unstructured programs

Mike Barnett, K. Rustan M. Leino · 2005 · 119 citations

, , +12

1–5 of 70

Authors

141

  1. DM
    Darko Marinov

    University of Illinois Urbana-Champaign, United States

    3 publications · 979 citations

    3

    h-index

  2. CB
    Chandrasekhar Boyapati

    Massachusetts Institute of Technology, United States

    3 publications · 979 citations

    3

    h-index

  3. SK
    Sarfraz Khurshid

    The University of Texas at Austin, United States

    3 publications · 979 citations

    3

    h-index

  4. MS
    Max Schaefer

    University of Oxford, United Kingdom

    2 publications · 97 citations

    2

    h-index

  5. CP
    Chris Piech

    Stanford University, United States

    2 publications · 146 citations

    2

    h-index

1–5 of 141

Institutions

78

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    12 publications

    325 citations

  2. Stanford University

    Stanford, United States

    4 h-index

    12 publications

    882 citations

  3. Microsoft (United States)

    Redmond, United States

    4 h-index

    7 publications

    746 citations

  4. University of Oxford

    Oxford, United Kingdom

    3 h-index

    5 publications

    224 citations

  5. New York University

    New York, United States

    3 h-index

    3 publications

    87 citations

  6. National Taiwan University

    Taipei, Taiwan

    2 h-index

    2 publications

    75 citations

  7. Google (United States)

    Mountain View, United States

    2 h-index

    2 publications

    146 citations

  8. Rice University

    Houston, United States

    2 h-index

    4 publications

    240 citations

1–8 of 78

Venues

  1. ACM SIGPLAN Notices

    4 publications · 87 citations

    4

    h-index

  2. ACM SIGSOFT Software Engineering Notes

    SEN · 3 publications · 883 citations

    3

    h-index

  3. arXiv (Cornell University)

    Repository · 3 publications · 156 citations

    3

    h-index

  4. 3

    h-index

  5. Linear Algebra and its Applications

    3 publications · 50 citations

    3

    h-index

1–5