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)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ Actor ] [ actor ] [ ActorS ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ CL ] [ Concurrent C ] [ cu ] [ current ] [ D ] [ de ] [ du ] [ ec ] [ ed ] [ er ] [ eS ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ ga ] [ ge ] [ gh ] [ gi ] [ gl ] [ gn ] [ gr ] [ gu ] [ h ] [ hr ] [ IC ] [ ICL ] [ id ] [ il ] [ in ] [ io ] [ iS ] [ IT ] [ K ] [ la ] [ language ] [ Lex ] [ M ] [ ma ] [ MIT ] [ mo ] [ mod ] [ Mode ] [ module ] [ mp ] [ mS ] [ na ] [ nc ] [ ng ] [ ni ] [ nn ] [ no ] [ nS ] [ om ] [ pe ] [ ph ] [ pl ] [ pr ] [ program ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ Se ] [ Si ] [ Sig ] [ SP ] [ SPAR ] [ SPARK ] [ Spec ] [ Specification ] [ St ] [ T ] [ td ] [ th ] [ to ] [ tr ] [ ua ] [ uS ] [ ve ] [ verification ] [ Z ]