Corrado Böhm 的珍宝
计算机科学中的逻辑
2023-06-22 v5 编程语言
摘要
Corrado Böhm 的主要科学遗产包括关于计算的思想,既涉及具体算法,也涉及可计算性模型。下面将予以介绍。1. 一个能够编译自身的编译器。2. 结构化程序设计,消除 'goto' 语句。3. 函数式程序设计及早期实现。4. λ-演算中的可分离性。5. 无需解析的组合子编译。6. λ-演算中的自求值。
引用
@article{arxiv.1812.02243,
title = {Gems of Corrado B\"ohm},
author = {Henk P. Barendregt},
journal= {arXiv preprint arXiv:1812.02243},
year = {2023}
}