归约语义是一种编程语言理论方法，用于定义程序评估过程。它通过重写规则和评估上下文来指定评估顺序，优雅地将“在哪里归约”与“归约什么”分离。适用于语言语义定义、教学、程序变换和评估策略推理。关键词：归约语义、程序评估、重写规则、评估上下文、编程语言理论、语义定义、可归约表达式、标准归约。