ALDiSP: Synopsis

This language, developed in 1989-90, combines functional elements with a unique construct (the suspension) that enables the specification of asynchronous real-time algorithms.

This diagram illustrates the suspension evaluation mechanism, which lies at the core of the language and makes it unique amongst the languages.

[picture of suspension evaluation;
4k GIF]

A suspension is a kind of functional interrupt. Evaluating a suspension installs an ``interrupt handler'' (an arbitrary expression) that is triggered by a condition (another arbitrary expression, usually referring to the system's I/O state) and has to be executed within a fixed time frame.

ALDiSP: Documents

These are the reports written about ALDiSP and its compilation. See also my List of Publications.
This page was last changed on Mar 06 1995, 14:51 by Comments and corrections welcome.