##############################
Related work and bibliography
##############################

This page links to background and sources.

- `The C++ standard <https://eel.is/c++draft/>`_.
- `cppreference.com <https://en.cppreference.com/w/>`_

Pointer and object model
========================

- the `CompCert memory model <https://hal.inria.fr/hal-00703441/document>`_.
- Robbert Krebbers's model of C (`Krebbers 2015, PhD thesis <https://robbertkrebbers.nl/research/thesis.pdf>`_).
- The formal model of pointer provenance for C given by `Cerberus <https://www.cl.cam.ac.uk/~pes20/cerberus/>`_ (`POPL'19 <https://doi.org/10.1145/3290380>`_).
- `A Provenance-aware Memory Object Model for C <http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2577.pdf>`_.
  Working paper N2577 of the C standards committee (ISO TC1/SC22/WG14),
  September 30, 2020
- Work by Ramananandro et al. (e.g. `POPL'12 <https://doi.org/10.1145/2103656.2103718>`_).
- `LLVM's twin semantics <https://doi.org/10.1145/3276495>`_
  "Reconciling high-level optimizations and low-level code in LLVM", OOPSLA'18