R6RS:翻訳:R6RS:A Formal semantics の章に挙げられている操作的意味論は R5RS の表示的意味論を置き換えるものである。 R5RS の表示的意味論には複数の問題があった。もっとも深刻なものとしては手続き適用の評価順序が規定されていないことの扱いの不完全さである。表示的意味論では単一の規定されていない順序が用いられていた。一般に、表示的意味論で非決定性をモデル化することは難しく、操作的意味論により、評価順序が規定されないことをより精確に規定することができたのである。