paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Gems of Corrado B\"ohm

Corrado Böhm 的珍宝
LMCS vol.Volume 16, Issue 32020匹配度 1/10 · 该文是编程语言与λ演算历史的综述，涉及自编译、结构化编程、组合子等，但未涉及用户关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等核心方向。因此匹配度低，仅作历史背景存档。引用 0 inbox
Henk P. Barendregt
函数式编程编译与代码生成
dblp: 2026-09-10crossref: 2026-09-10arxiv: 2026-09-10

AI 速览

一句话：综述 Corrado Böhm 在自编译编译器、结构化编程、函数式编程与 λ 演算等方面的奠基性思想。

本文是 Henk P. Barendregt 对 Corrado Böhm 科学遗产的综述，聚焦其在计算、程序设计语言与 λ 演算中的具体算法和可计算性模型。文章依次呈现六项工作：可自编译的编译器；以结构化编程消除 goto 语句；函数式编程及早期实现；λ 演算中的可分离性；无需语法分析直接编译组合子；以及 λ 演算中的自求值。作者以历史叙述和概念阐释为主，说明这些思想如何相互关联并影响后续的函数式语言、编译技术、组合子归约与可计算性理论。关键结果是对 Böhm 多项奠基性贡献的系统梳理，强调其在程序设计语言和计算理论中的持久意义，而非提出新的实验性算法或给出量化评估。

问题
如何系统梳理并阐释 Corrado Böhm 在计算理论、编译技术、结构化编程、函数式编程与 λ 演算中的多项奠基性思想？
方法
以历史综述和概念阐释的方式，逐项介绍六项代表性贡献：自编译编译器、消除 goto、函数式编程早期实现、λ 演算可分离性、无解析组合子编译与 λ 演算自求值。
评估
论文为历史性综述，未报告实验或基准评测；其评估体现为对这些思想在领域内影响与意义的论述。
原文摘要（Abstract）

The main scientific heritage of Corrado B\"ohm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented. 1. A compiler that can compile itself. 2. Structured programming, eliminating the 'goto' statement. 3. Functional programming and an early implementation. 4. Separability in {\lambda}-calculus. 5. Compiling combinators without parsing. 6. Self-evaluation in {\lambda}-calculus.

链接与引用

DOI 原文 · arXiv · PDF（开放获取） · DBLP

BibTeX 
@article{abs-1812-02243,
  title = {Gems of Corrado B\"ohm},
  author = {Henk P. Barendregt},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 16, Issue 3},
  year = {2020},
  doi = {10.23638/lmcs-16(3:15)2020}
}