From WordNet (r) 2.0 (August 2003) [wn]:
lava
n : rock that in its molten form (as magma) issues from
volcanos; lava is what magma is called when it reaches
the surface
From The Collaborative International Dictionary of English v.0.48 [gcide]:
Lava \La"va\ (l[aum]"v[.a]; 277), n. [It. lava lava, orig. in
Naples, a torrent of rain overflowing the streets, fr. It. &
L. lavare to wash. See Lave.]
The melted rock ejected by a volcano from its top or fissured
sides. It flows out in streams sometimes miles in length. It
also issues from fissures in the earth's surface, and forms
beds covering many square miles, as in the Northwestern
United States.
[1913 Webster]
Note: Lavas are classed, according to their structure, as
scoriaceous or cellular, glassy, stony, etc., and
according to the material of which they consist, as
doleritic, trachytic, etc.
[1913 Webster]
Lava millstone, a hard and coarse basaltic millstone from
the neighborhood of the Rhine.
Lava ware, a kind of cheap pottery made of iron slag cast
into tiles, urns, table tops, etc., resembling lava in
appearance.
[1913 Webster]
From The Free On-line Dictionary of Computing (19 Sep 2003) [foldoc]:
LAVA
A language for VLSI that deals with "sticks", i.e. wires
represented as lines with thickness.
["A Target Language for Silicon Compilers", R.J. Matthews et
al, IEEE COMPCON, 1982, pp. 349-353].
(1994-12-07)