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: | |
|---|---|
| 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 |
| _version_ | 1797268591824863232 |
|---|---|
| author | Henk P. Barendregt |
| author_facet | Henk P. Barendregt |
| author_sort | Henk P. Barendregt |
| collection | DOAJ |
| description | 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
programming and an early implementation. 4. Separability in {\lambda}-calculus.
5. Compiling combinators without parsing. 6. Self-evaluation in
{\lambda}-calculus. |
| first_indexed | 2024-04-25T01:34:55Z |
| format | Article |
| id | doaj.art-d78fb9412ace4e53ae566d1059c7dcfe |
| institution | Directory Open Access Journal |
| issn | 1860-5974 |
| language | English |
| last_indexed | 2024-04-25T01:34:55Z |
| publishDate | 2020-09-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| series | Logical Methods in Computer Science |
| spelling | doaj.art-d78fb9412ace4e53ae566d1059c7dcfe2024-03-08T10:31:24ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742020-09-01Volume 16, Issue 310.23638/LMCS-16(3:15)20205018Gems of Corrado B\"ohmHenk P. BarendregtThe 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 programming and an early implementation. 4. Separability in {\lambda}-calculus. 5. Compiling combinators without parsing. 6. Self-evaluation in {\lambda}-calculus.https://lmcs.episciences.org/5018/pdfcomputer science - logic in computer sciencecomputer science - programming languages03b40, 68n18, 68n20 |
| spellingShingle | Henk P. Barendregt Gems of Corrado B\"ohm Logical Methods in Computer Science computer science - logic in computer science computer science - programming languages 03b40, 68n18, 68n20 |
| title | Gems of Corrado B\"ohm |
| title_full | Gems of Corrado B\"ohm |
| title_fullStr | Gems of Corrado B\"ohm |
| title_full_unstemmed | Gems of Corrado B\"ohm |
| title_short | Gems of Corrado B\"ohm |
| title_sort | gems of corrado b ohm |
| topic | computer science - logic in computer science computer science - programming languages 03b40, 68n18, 68n20 |
| url | https://lmcs.episciences.org/5018/pdf |
| work_keys_str_mv | AT henkpbarendregt gemsofcorradobohm |