TY  - RPRT
TI  - Formalisation of a frame stack semantics for a Java-like language
AU  - Aleksy Schubert
AU  - Jacek Chrząszcz
PY  - 2018
UR  - https://arxiv.org/abs/1808.05342
ID  - 1808.05342
ER  -