Concepedia

Weakest Preconditions

Weakest Preconditions is a predicate transformer in program semantics that maps each program statement and postcondition to the minimal precondition ensuring the postcondition holds after execution under Hoare logic.

102

Publications

6.9K

Citations

233

Authors

119

Institutions

Publications per year

2017–2026

17

Variants

Weakest Precondition CalculusWp

Parents

Publications

102

Show Me the Money: Do Payments Supply Environmental Services in Developing Countries?

Subhrendu K. Pattanayak, Sven Wunder, Paul J. Ferraro · Review of Environmental Economics and Policy · 2010 · 696 citations

, , +13

BI as an assertion language for mutable data structures

Samin Ishtiaq, Peter W. O’Hearn · ACM SIGPLAN Notices · 2011 · 499 citations

, , +14

Laws of programming

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

, , +14

Probabilistic predicate transformers

Carroll Morgan, Annabelle McIver, Karen Seidel · ACM Transactions on Programming Languages and Systems · 1996 · 305 citations · Full text

, , +13

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text

, , +16

1–5 of 102

Authors

233

  1. CH
    Cătălin Hriţcu

    Institut national de recherche en sciences et technologies du numérique, France

    4 publications · 395 citations

    4

    h-index

  2. NS
    Nikhil Swamy

    Microsoft (United States), United States

    4 publications · 395 citations

    4

    h-index

  3. JK
    Joost-Pieter Katoen

    RWTH Aachen University, Germany

    4 publications · 135 citations

    4

    h-index

  4. MY
    Mingsheng Ying

    Tsinghua University, China

    4 publications · 225 citations

    4

    h-index

  5. AR
    Aseem Rastogi

    Microsoft Research (United Kingdom), United Kingdom

    4 publications · 395 citations

    4

    h-index

1–5 of 233

Institutions

119

  1. Microsoft (United States)

    Redmond, United States

    8 h-index

    24 publications

    2.4K citations

  2. University of Oxford

    Oxford, United Kingdom

    6 h-index

    15 publications

    3.7K citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    9 publications

    371 citations

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

    Le Chesnay-Rocquencourt, France

    5 h-index

    15 publications

    1.8K citations

  5. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    4 h-index

    8 publications

    1K citations

  6. RWTH Aachen University

    Aachen, Germany

    4 h-index

    10 publications

    368 citations

  7. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    4 h-index

    4 publications

    356 citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    4 publications

    294 citations

1–8 of 119

Venues

  1. ACM SIGPLAN Notices

    7 publications · 805 citations

    7

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 3 publications · 131 citations

    3

    h-index

  3. 3

    h-index

  4. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 2 publications · 30 citations

    2

    h-index

  5. Journal of the ACM

    JACM · 2 publications · 268 citations

    2

    h-index

1–5