Skip to main content

1 Result(s)

within English Remove this filter Control Structures and Microprogramming Remove this filter Alexander J. Summers Remove this filter

and

  1. Chapter and Conference Paper

    Local Reasoning for Global Graph Properties

    Separation logics are widely used for verifying programs that manipulate complex heap-based data structures. These logics build on so-called separation algebras, which allow expressing properties of heap regions ...

    Siddharth Krishna, Alexander J. Summers, Thomas Wies in Programming Languages and Systems (2020)

    Download PDF (496 KB)