VIFID/TRIFID公司 swMATH ID: 14758 软件作者： 曼纽尔·卡罗；曼努埃尔·赫梅内吉尔多 描述： 约束可视化工具：VIFID/TRIFID工具。程序执行的可视化已经被用于包括教育和调试在内的应用程序中。然而，传统的可视化技术往往达不到预期，或者完全不适合新的编程范式，例如约束逻辑编程（CLP），其声明性和操作性语义在某些关键方面与其他范式不同。特别是，关于数据行为的传统思想往往无法以直接的方式从其他编程语言家族中提升到（C）LP。在本章中，我们讨论了在CLP中可视化数据演化的技术。我们简要回顾了一些先前提出的可视化范式，并提出了一些（据我们所知）新颖的范式。图形表示是根据程序员的感知需求选择的，程序员试图分析执行的行为和特征。特别是，我们集中于变量的运行时值的表示，以及它们之间的约束。考虑到我们对可视化大型执行的兴趣，我们还关注抽象技术，即旨在帮助降低视觉信息复杂性的技术。 主页： http://link.springer.com/chapter/10.1007/10722311_11 相关软件： DiSCiPl公司;Oz探险家;彗星;乔科;Gecode公司;CHUFFED公司;SATGraf公司;微型卫星ID;零MQ;DPvis（DPvis）;恰当的;OPL公司;HiRise公司;炸薯条 引用于： 2文件 全部的 前5名7位作者引用 1 末日，格雷戈伊尔 1 玛丽亚·加西亚·德拉班达 1 克里斯托弗·米尔斯 1 劳伦特·米歇尔 1 马克西姆·希什马雷夫 1 塔克，吉多 1 帕斯卡·范·亨特利克 连载1篇 2 约束条件 在2个字段中引用 2 运筹学、数学规划（90-XX） 1 计算机科学（68至XX） 按年份列出的引文