(SSL) A specification language based on term algebra and attribute grammars.SSL is used by the {Synthesizer Generator}, a generator for {language-based editor}s such as the Cornell Program Synthesizer.["Generating Language Based Environments", T. Reps, MIT Press 1984].(1994-12-16)