Adaptable Traces for Program Explanations
Adaptable Traces for Program Explanations
复制标题
用于程序解释的适应性跟踪
DOI：
10.1007/978-3-030-89051-3_12
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Gay, Kai
中科院分区：
文献类型：
--
作者：
Bajaj, Divya;Erwig, Martin;Fedorin, Danila;Gay, Kai
程序跟踪是解释程序动态行为的可靠基础。唉，程序轨迹可以增长得很快，即使是小程序，这减少了他们的价值作为explanation.In本文中，我们演示了如何系统的简化轨迹可以产生简洁的程序解释。具体来说，我们介绍的操作转换的痕迹，促进抽象的细节。这些操作是用于定义跟踪过滤器的查询语言的基础，跟踪过滤器可以以各种方式适应和简化跟踪。跟踪的生成由一种特别支持跟踪表示中的简约性的Call-By-Value语义的变体控制。我们表明，我们的语义是一个保守的扩展调用的值，可以产生更小的痕迹和评价痕迹保持在一个小得多的足迹的证明树的解释性内容。
Program traces are a sound basis for explaining the dynamic behavior of programs. Alas, program traces can grow big very quickly, even for small programs, which diminishes their value as explanations.In this paper we demonstrate how the systematic simplification of traces can yield succinct program explanations. Specifically, we introduce operations for transforming traces that facilitate the abstraction of details. The operations are the basis of a query language for the definition of trace filters that can adapt and simplify traces in a variety of ways.The generation of traces is governed by a variant of Call-By-Value semantics which specifically supports parsimony in trace representations. We show that our semantics is a conservative extension of Call-By-Value that can produce smaller traces and that the evaluation traces preserve the explanatory content of proof trees at a much smaller footprint.
登录
查看更多内容
用于脚本化调试的数据流语言的设计与实现
DOI：
--
发表时间：
2007
期刊：
International Conference on Automated Software Engineering
影响因子：
--
作者：
G. Marceau;G. Cooper;John;S. Krishnamurthi;S. Reiss
通讯作者：
S. Reiss
影响因子：
5.7
作者：
Pohl CH
通讯作者：
Pohl CH
Expositor：具有一流跟踪的可编写脚本的时间旅行调试
DOI：
--
发表时间：
2013
期刊：
International Conference on Software Engineering
影响因子：
--
作者：
Yit Phang Khoo;J. Foster;M. Hicks
通讯作者：
M. Hicks
解释其工作的命令式功能程序
DOI：
--
发表时间：
2017
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
W. Ricciotti;J. Stolarek;Roly Perera;J. Cheney
通讯作者：
J. Cheney
PROOFTOOL：GAPT 框架的 GUI
DOI：
10.4204/eptcs.118.1
发表时间：
2013
期刊：
arXiv: Logic in Computer Science
影响因子：
--
作者：
Cvetan Dunchev Institute of Computer Languages;Vienna University of Technology;Alexander Leitsch Institute of Computer Languages;Tomer Libal Institute of Computer Languages;Martin Riener Institute of Computer Languages;Mikheil Rukhaia Institute of Computer Languages;Daniel Weller Institute of Discrete Mathematics;Geometry;Bruno Woltzenlogel
通讯作者：
Bruno Woltzenlogel