Imperative functional programs that explain their work
Imperative functional programs that explain their work
复制标题
解释其工作的命令式功能程序
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
J. Cheney
中科院分区：
文献类型：
--
作者：
W. Ricciotti;J. Stolarek;Roly Perera;J. Cheney
程序切片提供了说明如何从输入生成程序输出的解释。我们建立在以前的工作中介绍的方法，其中动态切片被定义为纯高阶函数程序的部分输入和部分输出的格之间的伽罗瓦连接。我们将这种方法扩展到将引用和异常与高阶编程联合收割机结合的命令式函数程序。我们提出了我们的方法的正确性和最优性的证明和概念验证的实施和实验评估。
Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work, where dynamic slicing was defined for pure higher-order functional programs as a Galois connection between lattices of partial inputs and partial outputs. We extend this approach to imperative functional programs that combine higher-order programming with references and exceptions. We present proofs of correctness and optimality of our approach and a proof-of-concept implementation and experimental evaluation.
解释其工作的数据库查询
DOI：
10.1145/2643135.2643143
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Cheney J
通讯作者：
Cheney J
解释其工作的函数式程序
DOI：
10.1145/2364527.2364579
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Perera R
通讯作者：
Perera R