TY  - RPRT
TI  - Technical Report: A Formal Semantics for Java Symbolic Evaluation using Large-Block Encoding
AU  - Soha Hussein
AU  - Stephen McCamant
AU  - Kelton OBrien
AU  - Kuen-Bang Hou
AU  - Michael Whalen
AU  - Vaibhav Sharma
PY  - 2026
UR  - https://arxiv.org/abs/2608.04513
ID  - 2608.04513
ER  -