SR (prononcé "es-ar") est un langage de programmation statiquement typé, impératif, conçu pour la programmation de systèmes. Il a été créé au début des années 1970 par David Gries et James Horning à l'Université Cornell.
SR est connu pour sa syntaxe et sa sémantique simples, et pour son support de multiples paradigmes de programmation. Il est également remarquable pour son utilisation du garbage collection et pour son mécanisme de gestion des exceptions, qui permet aux programmeurs de traiter les erreurs de manière cohérente.
SR a été utilisé dans une variété de systèmes, y compris les noyaux des systèmes d'exploitation AIX et z/OS d'IBM, le système d'exploitation Plan 9 des Bell Labs et le système d'exploitation Inferno de Lucent Technologies. Il a également été utilisé dans un certain nombre d'applications commerciales, comme l'environnement de programmation Interlisp et le système d'exploitation en temps réel DART.