TY  - RPRT
TI  - Reasoning about call-by-value: a missing result in the history of Hoare's logic
AU  - Krzysztof R. Apt
AU  - Frank S. de Boer
PY  - 2019
UR  - https://arxiv.org/abs/1909.06215
ID  - 1909.06215
ER  -