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)