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....
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 |
Similar Items
-
Java & Lambda: a Featherweight Story
by: Lorenzo Bettini, et al.
Published: (2018-09-01) -
Lineal: A linear-algebraic Lambda-calculus
by: Pablo Arrighi, et al.
Published: (2017-03-01) -
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
by: Predrag Janičić, et al.
Published: (2019-03-01) -
Intuitionistic implication makes model checking hard
by: Martin Mundhenk, et al.
Published: (2012-04-01) -
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
by: Giulio Guerrieri, et al.
Published: (2017-12-01)