Concepedia

Hoare Triples

Hoare Triple is a formal construct in program logic consisting of a precondition, a program statement, and a postcondition, used to express that if the precondition holds before the execution of the statement, then the postcondition holds afterward.

19

Publications

1.1K

Citations

44

Authors

29

Institutions

Publications per year

2017–2026

2

Parents

Publications

19

Compositional shape analysis by means of bi-abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · 2009 · 276 citations

, , +10

Compositional Shape Analysis by Means of Bi-Abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · Journal of the ACM · 2011 · 210 citations

, , +10

Compositional shape analysis by means of bi-abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · ACM SIGPLAN Notices · 2009 · 116 citations

, , +10

Automatic verification of pointer programs using monadic second-order logic

Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach et al. · 1997 · 88 citations

, , +16

Fifty years of Hoare’s logic

Krzysztof R. Apt, Ernst-Rüdiger Olderog · Formal Aspects of Computing · 2019 · 66 citations · Full text

, , +5

1–5 of 19

Authors

44

  1. HY
    Hongseok Yang

    University of Oxford, United Kingdom

    4 publications · 626 citations

    4

    h-index

  2. CC
    Cristiano Calcagno

    Imperial College London, United Kingdom

    3 publications · 602 citations

    3

    h-index

  3. DD
    Dino Distefano

    Queen Mary University of London, United Kingdom

    3 publications · 602 citations

    3

    h-index

  4. PW
    Peter W. O’Hearn

    Queen Mary University of London, United Kingdom

    3 publications · 602 citations

    3

    h-index

  5. JB
    Jonas Braband Jensen

    Microsoft Research (United Kingdom), United Kingdom

    3 publications · 95 citations

    3

    h-index

1–5 of 44

Institutions

29

  1. Imperial College London

    London, United Kingdom

    3 h-index

    3 publications

    602 citations

  2. Queen Mary University of London

    London, United Kingdom

    3 h-index

    8 publications

    1.6K citations

  3. IT University of Copenhagen

    Copenhagen, Denmark

    3 h-index

    3 publications

    90 citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    4 publications

    132 citations

  5. AT&T (United States)

    Bedminster, United States

    2 h-index

    2 publications

    98 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    1 publications

    18 citations

  7. Carl von Ossietzky Universität Oldenburg

    Oldenburg, Germany

    1 h-index

    1 publications

    66 citations

  8. Creative Commons

    Mountain View, United States

    1 h-index

    1 publications

    24 citations

1–8 of 29

Venues

  1. ACM SIGPLAN Notices

    3 publications · 136 citations

    3

    h-index

  2. Journal of the ACM

    JACM · 1 publications · 210 citations

    1

    h-index

  3. Formal Aspects of Computing

    1 publications · 66 citations

    1

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 19 citations

    1

    h-index

  5. Journal of Applied Non-Classical Logics

    JANCL · 1 publications · 18 citations

    1

    h-index

1–5