Gems of Corrado Böhm
Abstract
The main scientific heritage of Corrado Böhm 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2018
- DOI:
- 10.48550/arXiv.1812.02243
- arXiv:
- arXiv:1812.02243
- Bibcode:
- 2018arXiv181202243B
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Programming Languages;
- 03B40;
- 68N18;
- 68N20
- E-Print:
- Logical Methods in Computer Science, Volume 16, Issue 3 (September 2, 2020) lmcs:5018