Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  a  b  c  d  e  f  g  h  i  j  k  l  m  n  o  p  q  r  s  t  u  v  w  x  y  z 


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)


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2017