Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Build-Authorized Evidence for Opaque Calls: A Fail-Closed Rewrite-Authority Boundary
Zhonghua Yi
Detached semantic facts about opaque native providers do not by themselves justify compiler rewrites: rewrite authority must be confined to the accepted fact, selected provider and…
cs.PL2026
Toka: A Systems Programming Language with Explicit Resource Semantics
Zhonghua Yi
Systems programming languages traditionally struggle with the tension between physical transparency and compile-time memory safety. C++ provides direct, zero-cost hardware access b…