dart

n 1: a small narrow pointed missile that is thrown or shot

2: a tapered tuck made in dressmaking

v 1: move along rapidly and lightly; skim or dart [syn: {flit}, {flutter},

{fleet}]

2: run or move very quickly or hastily; "She dashed into the

yard" [syn: {dash}, {scoot}, {scud}, {flash}, {shoot}]

3: move with sudden speed; "His forefinger darted in all

directions as he spoke"

ART

A {real-time} {functional language}. It timestamps

each data value when it was created.

["Applicative Real-Time Programming", M. Broy, PROC IFIP 1983,

N-H].

(1996-01-15)