Page 216

最新见解 · 第 216 页

共 16860 篇文章,分类 267 个。

最新见解

近期的思考与工程笔记。

查看归档
2026-01-25 compilers

Rocq C++ 提取中的运行时检查插入策略

分析 Bloomberg Crane 在将 Rocq 验证代码提取为 C++ 时,如何通过 sigma 类型到 assert 的转换策略填补依赖类型先验条件的验证空白。

阅读全文 →