Fixed-Point Scaffolding in the Clef Programming Language
Native compilation changes how a program represents values and performs operations from processor to processor. In our view, proofs that justify source-level decisions must remain connected to those changes. We develop fixed-point scaffolding for this continuity in Clef and our Composer compiler. Our Program Semantic Graph retains types, joint constraints and proof dependencies. A thin MLIR middle end witnesses their settled consequences for native CPU, GPU, NPU and FPGA realization. The account connects nanopass traversal with preservation contracts, structural theorems and adjoint…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.02854
curl -X POST /api/v1/records/arxiv/2606.02854/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.02854/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'