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