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. |