The Collaborative International Dictionary of English v.0.48:

lido \lido\ n.
   1. [After the Lido, a group of sandy barrier islands between
      the lagoon of Venice and the Adriatic, a popular beach
      resort.] A recreational facility, especially one including
      a swimming pool for water sports. [British]
      [WordNet 1.5]

WordNet (r) 3.0 (2006):

lido
    n 1: a recreational facility including a swimming pool for water
         sports

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

LIDO

   An input language for the attribute evaluator generator LIGA
   (a successor of GAG and a subsystem of the Eli
   compiler-compiler).  LIDO is derived from GAG's input language
   ALADIN.

   ["LIDO: A Specification Language for Attribute Grammars",
   U. Kastens , Fab Math-Inf, U Paderborn
   (Oct 1989)].

   (1994-10-20)