第二届综合研讨会论文集
计算机科学中的逻辑
2014-03-31 v1 系统与控制
摘要
软件综合正迅速发展成为一个重要的研究领域，具有巨大的实际应用潜力。SYNT 综合研讨会旨在汇聚对综合感兴趣的研究人员，展示关于自动综合及其各个方面正在进行和成熟的工作。第二届 SYNT 研讨会在俄罗斯圣彼得堡举行，并与第 25 届计算机辅助验证国际会议联合举办。研讨会包括十一场报告，涵盖了新兴综合社区的全部范围，以及由 Swen Jacobs 主持的一场讨论，重点在于组织两项新的综合竞赛，分别侧重于反应式综合和语法引导的函数式综合。
引用
@article{arxiv.1403.7264,
title = {Proceedings Second Workshop on Synthesis},
author = {Bernd Finkbeiner and Armando Solar-Lezama},
journal= {arXiv preprint arXiv:1403.7264},
year = {2014}
}