SAL
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)
Nearby terms:
SAIL « SAINT « Saint Andrews Static Language «
SAL » SALEM » Sales Automation » salescritter
|