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