(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)