Strictness Meets Data Flow
Strictness Meets Data Flow
复制标题
严格性与数据流的结合
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
A. Mycroft
中科院分区：
文献类型：
--
作者：
Tom Schrijvers;A. Mycroft
程序的属性可以使用各种技术制定：数据流分析，抽象解释和类型的推理系统。本文通过将数据流属性作为效果系统表示，将严格分析重建严格分析（以懒惰的语言评估时确定功能参数）。如此表达的严格属性给出了更清晰的操作理解，并使一系列其他优化包括含义严格。一阶严格效应具有预期的公国属性（最佳性质推断），并且可以简单地计算。
Properties of programs can be formulated using various techniques: dataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness analysis (establishing when function parameters are evaluated in a lazy language) as a dataflow analysis by expressing the dataflow properties as an effect system. Strictness properties so expressed give a clearer operational understanding and enable a range of additional optimisations including implicational strictness. At first order strictness effects have the expected principality properties (best-property inference) and can be computed simply.