@misc{indiciae5d093cba287e,
  title = {Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control},
  author = {Tristan Crolard and Emmanuel Polonowski},
  year = {2011},
  url = {https://arxiv.org/abs/1112.2950},
  note = {Source identifier: 1112.2950}
}