Henk P. Barendregt - Gems of Corrado Böhm

lmcs:5018 - Logical Methods in Computer Science, September 2, 2020, Volume 16, Issue 3 - https://doi.org/10.23638/LMCS-16(3:15)2020
Gems of Corrado Böhm

Authors: Henk P. Barendregt

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.


Volume: Volume 16, Issue 3
Published on: September 2, 2020
Accepted on: July 28, 2020
Submitted on: December 7, 2018
Keywords: Computer Science - Logic in Computer Science,Computer Science - Programming Languages,03B40, 68N18, 68N20


Share

Consultation statistics

This page has been seen 176 times.
This article's PDF has been downloaded 110 times.