Concepedia

Strongest Postconditions

Strongest Postconditions is the most precise logical condition that describes the set of possible final states guaranteed to hold after the correct execution of a program statement, given an initial precondition, within the framework of Hoare Logic and Refinement Calculus.

20

Publications

902

Citations

40

Authors

26

Institutions

Publications per year

2017–2026

3

Parents

Publications

20

Correctness of high-level transformation systems relative to nested conditions

Annegret Habel, Karl‐Heinz Pennemann · Mathematical Structures in Computer Science · 2009 · 225 citations

, , +15

A logic for information flow in object-oriented programs

Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee · 2006 · 130 citations

, , +15

The bedrock structured programming system

Adam Chlipala · 2013 · 88 citations · Full text

, , +13

<i>win</i> and <i>sin</i> : predicate transformers for concurrency

Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1990 · 69 citations · Full text

, , +9

Proving concurrent constraint programs correct

Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori et al. · ACM Transactions on Programming Languages and Systems · 1997 · 63 citations · Full text

, , +16

1–5 of 20

Authors

40

  1. MG
    Maurizio Gabbrielli

    University of Bologna, Italy

    2 publications · 78 citations

    2

    h-index

  2. EM
    Elena Marchiori

    Radboud University Nijmegen, Netherlands

    2 publications · 78 citations

    2

    h-index

  3. AC
    Adam Chlipala

    Massachusetts Institute of Technology, United States

    2 publications · 108 citations

    2

    h-index

  4. TA
    Torben Amtoft

    Kansas State University, United States

    2 publications · 156 citations

    2

    h-index

  5. SB
    Sruthi Bandhakavi

    University of Illinois Urbana-Champaign, United States

    2 publications · 156 citations

    2

    h-index

1–5 of 40

Institutions

26

  1. Kansas State University

    Manhattan, United States

    2 h-index

    6 publications

    468 citations

  2. University of Pisa

    Pisa, Italy

    2 h-index

    3 publications

    125 citations

  3. Stony Brook University

    Stony Brook, United States

    2 h-index

    6 publications

    114 citations

  4. Michigan State University

    East Lansing, United States

    2 h-index

    4 publications

    100 citations

  5. Wayne State University

    Detroit, United States

    2 h-index

    2 publications

    38 citations

  6. Saarland University

    Saarbrücken, Germany

    1 h-index

    1 publications

    13 citations

  7. Stanford University

    Stanford, United States

    1 h-index

    1 publications

    29 citations

  8. École Normale Supérieure - PSL

    Paris, France

    1 h-index

    1 publications

    14 citations

1–8 of 26

Venues

  1. Science of Computer Programming

    2 publications · 32 citations

    2

    h-index

  2. 2

    h-index

  3. ACM SIGPLAN Notices

    2 publications · 46 citations

    2

    h-index

  4. Journal of Computer and System Sciences

    1 publications · 29 citations

    1

    h-index

  5. Automated Software Engineering

    1 publications · 38 citations

    1

    h-index

1–5