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