VDict - Definition of SAL

Computing (FOLDOC) dictionary

SAL

Jump to user comments

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)

Related search result for "SAL"

Words pronounced/spelled similarly to "SAL":
S/SL SSL SQL2 SQL3 SQL SOL SOLO SL5 sl SL more...
Words contain "SAL":
angry fruit salad Clausal Language Coordinated Universal Time Electronic Funds Transfer Point of Sale in-order traversal Intel Literature Sales nasal demons point of sale terminal post-order traversal pre-order traversal more...

Comments and discussion on the word "SAL"