Oz/K: A kernel language for component-based open programming

We suggest to use the locality concept as a general form of component, that can be used, at the same time, as a unit of modularity, of isolation, and of mobility. Specifically, we introduce in this paper Oz/K, a kernel programming language, that adds to the Oz computation model a notion of locality borrowed from the Kell calculus. We present an operational semantics for the language, and several examples to illustrate how Oz/K supports open distributed programming.

Oz/K: A kernel language for component-based open programming

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Kernel languages defined

I knew I'd seen the term "kernel language", but I couldn't figure out what it meant when I read the introduction to this paper. To save other confused LtUers the quarter of an hour with Google Scholar it took me, I learned that, in my own formulation, a kernel language is a calculus that can be considered a toy programming language on its own merits, but that is intended to provide a framework for expressing many other programming languages. The paradigmatic kernel language is the lambda calculus, first put to effective use by Peter Landin in The Next 700 Programming Languages. It maybe that Burstall & Lampson (1984)'s A kernel language for abstract data types and modules is where the term was coined.

Two other snippets:

  1. Mitchell & Plotkin's Abstract Types Have Existential Type, which doesn't yet have it's own LtU story, calls SOL, their variant of System F, a kernel language.

  2. Kernel languages were discussed in Delevoping a new language..., to my taste not entirely satisfactorily.

The obvious place that you

The obvious place that you would have seen it before is CTM unless you somehow haven't read CTM.

Somehow haven't read CTM

No, still haven't...

It's been on my to read list since time immemorial.