TY  - RPRT
TI  - Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control
AU  - Tristan Crolard
AU  - Emmanuel Polonowski
PY  - 2011
UR  - https://arxiv.org/abs/1112.2950
ID  - 1112.2950
ER  -