lido

n.

1.

A recreational facility, especially one including a swimming pool for water sports.

Noun

1.

lido - a recreational facility including a swimming pool for water sports

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)].

bank, beach, berm, coast, coastland, coastline, embankment, foreshore, ironbound coast, littoral, plage, playa, riverside, riviera, rockbound coast, sands, sea margin, seabank, seabeach, seaboard, seacliff, seacoast, seashore, seaside, shingle, shore, shoreline, strand, submerged coast, tidewater, waterfront, waterside