Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
维度类型系统与确定性内存管理：原生编译中的设计时语义保留
专题命中 程序分析与验证 ：code generation(abstract)；分类 cs.PL
AI总结 本文提出一种编译框架，通过多阶段MLIR降低保持维度类型注解，使编译器能联合解决数值表示选择和确定性内存管理作为程序语义图的共同效应。维度推断确定值范围，进而决定表示选择、字宽、内存占用、分配策略和跨目标传输保真度。
Comments 33 pages, 8 tables, 3 appendices with extended examples
