×

特刊:Synthesis and SYNT 2014。 (英语) Zbl 1372.00096号

摘自正文:《信息学报》本卷包含2014年7月23日至24日在奥地利维也纳举行的第三次综合研讨会(SYNT)的精选论文,以及进一步的贡献。SYNT研讨会是2014年维也纳逻辑夏令营的一部分,与第26届计算机辅助验证国际会议(CAV)有关联,该会议也是维也纳逻辑夏令的一部分。除了贡献的演讲外,研讨会还详细介绍了SyGuS和SYNTCOMP竞赛结果,并提供了一个开放平台,用于就合成的所有方面进行科学交流,包括软件和反应合成的算法和工具、规范语言、复杂性和不可能性结果,软件或硬件综合的案例研究,以及验证和综合之间的联系。

MSC公司:

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
PDF格式BibTeX公司 XML格式引用
全文: 内政部