The Collaborative International Dictionary of English v.0.48:

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]

WordNet (r) 3.0 (2006):

lava
    n 1: rock that in its molten form (as magma) issues from
         volcanos; lava is what magma is called when it reaches the
         surface

Moby Thesaurus II by Grady Ward, 1.0:

60 Moby Thesaurus words for "lava":
   aa, abyssal rock, ash, ashes, basalt, bedrock, block lava, brand,
   brash, breccia, calx, carbon, charcoal, cinder, clinker, coal,
   coke, conglomerate, coom, crag, dross, druid stone,
   festooned pahoehoe, fume, gneiss, granite, igneous rock, limestone,
   living rock, magma, mantlerock, metamorphic rock, monolith,
   pahoehoe, pillow lava, porphyry, pudding stone, reek, regolith,
   rock, ropy lava, rubble, rubblestone, sandstone, sarsen, schist,
   scoria, scree, sedimentary rock, shelly pahoehoe, slag, smoke,
   smudge, smut, soot, stone, sullage, talus, tufa, tuff



The Free On-line Dictionary of Computing (30 December 2018):

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)