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].
(1994-12-08)
3. SPARK Annotation Language.
ICL , Ltd. Used in the verification of SPARK programs against Z specifications.
(1994-12-08)