sail

n 1: a large piece of fabric (as canvas) by means of which wind

is used to propel a sailing vessel [syn: {canvas}, {canvass},

{sheet}]

2: an ocean trip taken for pleasure [syn: {cruise}]

v 1: travel by ship on (a body of water); "We sailed the

Atlantic"; "This frigate has sailed to France"

2: move with sweeping, effortless, gliding motions; "The diva

swept into the room"; "Shreds of paper sailed through the

air"; "The searchlights swept across the sky" [syn: {sweep}]

3: travel in a boat propelled by wind

4: travel by boat [syn: {voyage}, {navigate}]

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)