1. Single Assignment Language.

2. Simple Actor Language.

A minimal actor language, used for pedagogical purposes in:

["Actors, A Model of Concurrent Computation in Distributed Systems", G. Agha, MIT Press 1986].

3. SPARK Annotation Language.

ICL, Ltd. Used in the verification of SPARK programs against Z specifications.