Stories We Like: Novels For Language Lovers
1750, from Italian (Neapolitan or Calabrian dialect) lava "torrent, stream," traditionally from Latin lavare "to wash" (see lave). Originally applied in Italian to flash flood rivulets after downpours, then to streams of molten rock from Vesuvius. Alternative etymology is from Latin labes "a fall," from labi "to fall." Lava lamp is attested from 1965, also lava light (reg. U.S., 1968, as Lava Lite).
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].