SR (vyslovuje se "es-ar") je staticky typovaný, imperativní programovací jazyk určený pro systémové programování. Vytvořili jej na počátku 70. let 20. století David Gries a James Horning na Cornellově univerzitě.
SR je známý svou jednoduchou syntaxí a sémantikou a podporou více programovacích paradigmat. Je také pozoruhodný pro své používání garbage collection a pro svůj mechanismus zpracování výjimek, který umožňuje programátorům důsledně ošetřovat chyby.
SR byl použit v řadě systémů, včetně jader operačních systémů 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. Byl také použit v řadě komerčních aplikací, například v programovacím prostředí Interlisp a operačním systému reálného času DART.