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