Concepedia

Frame Rule

The Frame Rule is a proof rule in Hoare Logic that allows the preservation of program invariants over unchanged portions of the heap by extending the pre- and postconditions with a disjoint state, thereby enabling local reasoning about imperative programs with shared mutable state.

48

Publications

1.9K

Citations

125

Authors

63

Institutions

Publications per year

2017–2026

9

Parents

Publications

48

Information leakage from logically equivalent frames

Shlomi Sher, Craig R. M. McKenzie · Cognition · 2005 · 419 citations

, , +7

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

Michael Thielscher · Artificial Intelligence · 1999 · 140 citations

, , +16

A logic for information flow in object-oriented programs

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

, , +15

Derivation rules as anti-axioms in modal logic

Yde Venema · Journal of Symbolic Logic · 1993 · 85 citations · Full text

, , +12

Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule

François Pottier · Proceedings - Symposium on Logic in Computer Science · 2008 · 53 citations

, , +14

1–5 of 48

Authors

125

  1. AB
    Anindya Banerjee

    Kansas State University, United States

    5 publications · 236 citations

    5

    h-index

  2. FP
    François Pottier

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

    3 publications · 89 citations

    3

    h-index

  3. DA
    David A. Naumann

    Stevens Institute of Technology, United States

    3 publications · 80 citations

    3

    h-index

  4. KP
    Karthik Pattabiraman

    University of British Columbia, Canada

    2 publications · 35 citations

    2

    h-index

  5. NS
    Nikhil Swamy

    Microsoft (United States), United States

    2 publications · 35 citations

    2

    h-index

1–5 of 125

Institutions

63

  1. Princeton University

    Princeton, United States

    4 h-index

    8 publications

    624 citations

  2. Stevens Institute of Technology

    Hoboken, United States

    3 h-index

    5 publications

    139 citations

  3. Kansas State University

    Manhattan, United States

    3 h-index

    7 publications

    501 citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    4 publications

    113 citations

  5. Kobe Gakuin University

    Kobe, Japan

    2 h-index

    2 publications

    24 citations

  6. Nanyang Technological University

    Singapore, Singapore

    2 h-index

    6 publications

    105 citations

  7. Imperial College London

    London, United Kingdom

    2 h-index

    3 publications

    72 citations

  8. Microsoft (United States)

    Redmond, United States

    2 h-index

    4 publications

    70 citations

1–8 of 63

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 6 publications · 131 citations

    6

    h-index

  2. Journal of Symbolic Logic

    2 publications · 98 citations

    2

    h-index

  3. Annals of Pure and Applied Logic

    2 publications · 63 citations

    2

    h-index

  4. Journal of the ACM

    JACM · 2 publications · 54 citations

    2

    h-index

  5. Journal of Neurogenetics

    2 publications · 24 citations

    2

    h-index

1–5