arXiv · Software Engineering· Minas Abramyan, Mohammed Alaa Ala'anzy, Nasir Saeed·2026-10-02 12:00· 3 小时前AI 评分25

CompProv 生成可机读的代数溯源图，实现可复现计算

CompProv Produces Machine Readable Graphs Encoding Microscopic Algebraic Provenance for Reproducible Computation

AI 导读

CompProv 是一个基于 Java 的审计导向溯源框架，通过高精度包装对象封装数值，在单个代数运算层面捕获计算谱系，生成可序列化的 Calculation Provenance Graph（CPG）。