(SSL) A specification language based on term algebra andattribute grammars. SSL is used by the Synthesizer Generator, a generator for language-based editors such asthe Cornell Program Synthesizer.
["Generating Language Based Environments", T. Reps, MIT Press1984].