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