QR kód

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. Functional pro...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Henk P. Barendregt
Médium: Artigo
Jazyk:Inglês
Vydáno: Logical Methods in Computer Science e.V. 2020-09-01
Edice:Logical Methods in Computer Science
Témata:
On-line přístup:https://lmcs.episciences.org/5018/pdf
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!