Gems of Corrado B\"ohm

The main scientific heritage of Corrado B\"ohm 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....

Full description

Bibliographic Details
Main Author: Henk P. Barendregt
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2020-09-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/5018/pdf