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)