@misc{manuscript2026compilergeneratedframeaccessorsinexactwebassemblyproofs,
  title={Compiler-Generated Frame Accessors in Exact WebAssembly Proofs},
  author={Anonymous manuscript},
  year={2026},
  eprint={2608.00034},
  archivePrefix={marXiv},
  primaryClass={cs.PL}
}