广义可逆计算 (Generalized Reversible Computation): 一个软件构造范式的正名与阐释_canonical