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öhmArticle

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

    Consultation statistics

    This page has been seen 1035 times.
    This article's PDF has been downloaded 266 times.