A Generator for Composition Interpreters

Composition of program components must be expressed in some language, and late composition can be achieved by an interpreter for the composition language. A suitable notion of component is obtained by identifying it with the semantics of a generalised structured command. Experiences from programming language design, specification and implementation then apply.

A component can be considered as defining objects or commands according to convenience. A description language including type information provides sufficient means to describe component interaction according to the underlying abstract notion of components. Actual compositions can be type checked before execution.