文森佐·安布里奥拉;福斯卡·吉安诺蒂;佩德雷希·迪诺;佛朗哥·都灵 符号语义和程序简化。 （英文） Zbl 0563.68010号 IEEE传输。软件工程。 11, 784-794 (1985). 提出了一类基于符号执行和条件简化的函数程序变换。函数语言家族的操作符号语义是利用符号常量的集合理论概念定义的。讨论了一种通过去除条件简化函数程序的有效变换。最后，它表明，基于抽象数据类型规范的结构方法为符号常量提供了合适的表示。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68第05页 数据结构 关键词：程序缩减;程序转换;重写系统;符号评价;函数程序的转换;符号执行;符号语义学;抽象数据类型规范 PDF格式BibTeX公司 XML格式引用 \textit{V.Ambriola}等人，IEEE Trans。柔和。工程11，784--794（1985；Zbl 0563.68010） 全文： 内政部