Gems of Corrado Böhm

12/05/2018
by   Henk P. Barendregt, et al.
0

The main scientific heritage of Corrado Böhm is about computing, both concerning concrete algorithms as well as concerning models of computability. Discussed will be the following. 1. A compiler that can compile itself. 2. Structured programming, eliminating the `goto' statement. 3. Functional programming and an early implementation. 4. Separability in λ-calculus. 5. Compiling combinators without parsing. 6. Self-evaluation in λ-calculus.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/26/2021

EOLANG and phi-calculus

Object-oriented programming (OOP) is one of the most popular paradigms u...
research
10/11/2017

Abductive functional programming, a semantic approach

We propose a call-by-value lambda calculus extended with a new construct...
research
03/09/2000

BDD-based reasoning in the fluent calculus - first results

The paper reports on first preliminary results and insights gained in a ...
research
07/23/2011

Introducing Sourcements

Sourcing processes are discussed at a high abstraction level. A dedicate...
research
12/08/2016

Implementing Operational calculus on programming spaces for Differentiable computing

We provide an illustrative implementation of an analytic, infinitely-dif...
research
02/19/2018

Compiling Diderot: From Tensor Calculus to C

Diderot is a parallel domain-specific language for analysis and visualiz...
research
03/27/2013

An Uncertainty Management Calculus for Ordering Searches in Distributed Dynamic Databases

MINDS is a distributed system of cooperating query engines that customiz...

Please sign up or login with your details

Forgot password? Click here to reset