SR (vyslovuje sa "es-ar") je staticky typovaný, imperatívny programovací jazyk určený na systémové programovanie. Vytvorili ho začiatkom 70. rokov 20. storočia David Gries a James Horning na Cornellovej univerzite.
SR je známy svojou jednoduchou syntaxou a sémantikou a podporou viacerých programovacích paradigiem. Je tiež pozoruhodný pre svoje používanie garbage collection a pre svoj mechanizmus spracovania výnimiek, ktorý umožňuje programátorom konzistentne spracovávať chyby.
SR sa používa v rôznych systémoch vrátane jadier operačných systémov IBM AIX a z/OS, operačného systému Plan 9 od Bell Labs a operačného systému Inferno od Lucent Technologies. Používa sa aj v mnohých komerčných aplikáciách, napríklad v programovacom prostredí Interlisp a v operačnom systéme reálneho času DART.