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.
| < Previous Terms | Terms Containing SAL | Next Terms > |
| SAIC SAID SAIL SAINT Saint Andrews Static Language | address ADVENT ALGOL D Amdahl Corporation American National Standards Institute | SALEM Sales Automation salescritter Sales Force Automation S-ALGOL |
