VIFID/三FID

约束可视化工具:VIFID/TRIFID工具。程序执行的可视化已经应用于包括教学和调试在内的应用程序中。然而,传统的可视化技术往往达不到预期,或者完全不适合新的编程范式,例如约束逻辑编程(CLP),其声明性和操作性语义在某些关键方面与其他范式不同。特别是,关于数据行为的传统思想通常不能以一种直接的方式从其他编程语言家族中提取(C)LP。在本章中,我们将讨论在CLP中可视化数据演化的技术。我们简要回顾了一些先前提出的视觉化范式,并提出了一些(据我们所知)新颖的范式。图形表示是根据程序员试图分析执行的行为和特征的感知需求来选择的。特别是,我们集中在变量的运行时值的表示,以及它们之间的约束。鉴于我们对可视化大型执行的兴趣,我们还关注抽象技术,即旨在帮助降低视觉信息复杂性的技术。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换