SR (pronuncia-se "es-ar") é uma linguagem de programação de tipo estático e imperativa concebida para a programação de sistemas. Foi criada no início da década de 1970 por David Gries e James Horning na Universidade de Cornell.
SR é conhecida pela sua simples sintaxe e semântica, e pelo seu apoio a múltiplos paradigmas de programação. É também notável pela sua utilização de recolha de lixo e pelo seu mecanismo de tratamento de excepções, que permite aos programadores tratar os erros de forma consistente.
SR tem sido utilizado numa variedade de sistemas, incluindo o sistema operativo kernels do AIX e z/OS da IBM, o sistema operativo Plan 9 da Bell Labs, e o sistema operativo Inferno da Lucent Technologies. Também tem sido utilizado em várias aplicações comerciais, tais como o ambiente de programação Interlisp e o sistema operativo DART em tempo real.