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