Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of SAL

 
Computing Dictionary
 
 Definition: 

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].

3. SPARK Annotation Language.

icl, Ltd. Used in the verification of spark programs against z specifications.

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY