从计算理论角度看，可以把两者概括为：
算术计算=值的计算（Value Computing）
代数计算=结构的计算（Structure Computing）
算术计算关心“结果是多少”，而代数计算关心“表达式如何根据规则演化”。在编译器优化、程序验证、定理证明、契约验证（Contract Verification）以及功能安全分析中，真正起核心作用的往往是代数计算而非算术计算。
发布于 上海
裴喜龙