Submission de47eced761d
| Title: | Compiler-Generated Frame Accessors in Exact WebAssembly Proofs |
| Authors: | Anonymous manuscript |
| Subjects: | Programming Languages (cs.PL); Logic in Computer Science (cs.LO) |
| Replaces: | marXiv:2608.00034 |
| Submitted: | Tue, 11 Aug 2026 00:08 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2608.00034 |
Event log
| Tue, 11 Aug 2026 05:08:16 UTC | submitted | |
| Tue, 11 Aug 2026 05:08:16 UTC | review started | |
| Tue, 11 Aug 2026 05:08:27 UTC | subject assigned | |
| Tue, 11 Aug 2026 05:44:54 UTC | accepted |
Review
Decision: accept Classification (automatic): Programming Languages (cs.PL); Logic in Computer Science (cs.LO) Accept. ## Remarks None.