(SSL) A specification language based on term algebra and attribute grammars. SSL is used by the synthesizer generator, a generator for language-based editors such as the cornell program synthesizer.

["Generating Language Based Environments", T. Reps, MIT Press 1984].