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

The Free On-line Dictionary of Computing (19 January 2023):

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)