SR es un lenguaje de programación imperativo de tipado estático diseñado para la programación de sistemas. Fue creado a principios de la década de 1970 por David Gries y James Horning en la Universidad de Cornell.
SR es conocido por su sintaxis y semántica sencillas, y por su compatibilidad con múltiples paradigmas de programación. También destaca por el uso de la recolección de basura y por su mecanismo de gestión de excepciones, que permite a los programadores gestionar los errores de forma coherente.
SR se ha utilizado en diversos sistemas, como los núcleos de los sistemas operativos AIX y z/OS de IBM, el sistema operativo Plan 9 de Bell Labs y el sistema operativo Inferno de Lucent Technologies. También se ha utilizado en varias aplicaciones comerciales, como el entorno de programación Interlisp y el sistema operativo en tiempo real DART.