📚 软件系统论文目录索引
涵盖：编程范式、形式化方法、动态组合、插件系统、组件模型、软件工程基础
| # | 论文/项目 | 类型 | 核心贡献 | 分析笔记 |
|---|---|---|---|---|
| 1 | Cordis — 时空可组合性编程范式（北大/DeepSeek-AI） | 编程范式 + 形式化 | 可逆效应 + 反应式余效应 → 动态组合演算（5 族元理论定理），Cordis 元框架 + Koishi 4000 插件验证 | Cordis 时空可组合性编程范式 深度技术分析 |
最后更新：2026-08-14 | 共计 1 篇分析笔记
涵盖：编程范式、形式化方法、动态组合、插件系统、组件模型、软件工程基础
| # | 论文/项目 | 类型 | 核心贡献 | 分析笔记 |
|---|---|---|---|---|
| 1 | Cordis — 时空可组合性编程范式（北大/DeepSeek-AI） | 编程范式 + 形式化 | 可逆效应 + 反应式余效应 → 动态组合演算（5 族元理论定理），Cordis 元框架 + Koishi 4000 插件验证 | Cordis 时空可组合性编程范式 深度技术分析 |
最后更新：2026-08-14 | 共计 1 篇分析笔记