TY  - RPRT
TI  - Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version --
AU  - Björn Engelmann
AU  - Ernst-Rüdiger Olderog
AU  - Nils Erik Flick
PY  - 2015
UR  - https://arxiv.org/abs/1501.02699
ID  - 1501.02699
ER  -