SR (ausgesprochen "es-ar") ist eine statisch typisierte, imperative Programmiersprache für die Systemprogrammierung. Sie wurde in den frühen 1970er Jahren von David Gries und James Horning an der Cornell University entwickelt.
SR ist bekannt für ihre einfache Syntax und Semantik und für ihre Unterstützung mehrerer Programmierparadigmen. Bemerkenswert sind auch die Garbage Collection und der Mechanismus zur Behandlung von Ausnahmen, der es Programmierern ermöglicht, Fehler auf konsistente Weise zu behandeln.
SR wurde in einer Reihe von Systemen eingesetzt, darunter die Betriebssystemkerne von IBMs AIX und z/OS, das Betriebssystem Plan 9 von Bell Labs und das Betriebssystem Inferno von Lucent Technologies. Sie wurde auch in einer Reihe kommerzieller Anwendungen wie der Programmierumgebung Interlisp und dem Echtzeitbetriebssystem DART eingesetzt.