第三届图检查与遍历工程研讨会论文集
计算机科学中的逻辑
2014-07-30 v1 数据结构与算法
形式语言与自动机理论
摘要
这是第三届图检查与遍历工程研讨会（GRAPHITE 2014）的论文集，该会议于 2014 年 4 月 5 日在法国格勒诺布尔举行，作为第 17 届欧洲软件理论与实践联合会议（ETAPS 2014）的卫星会议。GRAPHITE 旨在促进计算机科学中从事各种形式图分析研究的多个社区的研究兴趣融合，特别关注软件开发与分析。图被用于许多应用领域来表示数据和过程，并经受各种计算算法的分析。仅局限于软件分析，图分析算法例如用于通过探索系统状态空间图的模型检测技术来验证属性，或基于控制流图的静态分析技术。其他应用领域包括游戏、规划和网络分析。通常情况下，图问题及其算法解决方案具有共同特征，独立于其应用领域。本次活动的目标是聚集来自不同社区的研究图分析算法的科学家，以增进彼此工作的了解。更多信息请访问 http://sysma.imtlucca.it/graphite。
引用
@article{arxiv.1407.7671,
title = {Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering},
author = {Dragan Bošnački and Stefan Edelkamp and Alberto Lluch Lafuente and Anton Wijs},
journal= {arXiv preprint arXiv:1407.7671},
year = {2014}
}