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.
Submission history
From: Antoine Amarilli [view email] [via Logical Methods In Computer Science as proxy]
[v1]
Wed, 5 Dec 2018 21:56:23 UTC (57 KB)
[v2]
Tue, 19 May 2020 12:18:52 UTC (138 KB)
[v3]
Wed, 5 Aug 2020 20:32:59 UTC (138 KB)
[v4]
Thu, 27 Aug 2020 12:02:48 UTC (142 KB)
[v5]
Mon, 31 Aug 2020 18:31:54 UTC (132 KB)