克里希南德·查特吉(编辑);吕迪格·埃勒斯(编辑) 特刊:Synthesis and SYNT 2014。 (英语) Zbl 1372.00096号 Acta信息。 54,第6号,543-544(2017). 摘自正文:《信息学报》本卷包含2014年7月23日至24日在奥地利维也纳举行的第三次综合研讨会(SYNT)的精选论文,以及进一步的贡献。SYNT研讨会是2014年维也纳逻辑夏令营的一部分,与第26届计算机辅助验证国际会议(CAV)有关联,该会议也是维也纳逻辑夏令的一部分。除了贡献的演讲外,研讨会还详细介绍了SyGuS和SYNTCOMP竞赛结果,并提供了一个开放平台,用于就合成的所有方面进行科学交流,包括软件和反应合成的算法和工具、规范语言、复杂性和不可能性结果,软件或硬件综合的案例研究,以及验证和综合之间的联系。 MSC公司: 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}(编辑)和\textit{R.Ehlers}(编),《学报》第54期,第6期,第543--544页(2017年;Zbl 1372.00096) 全文: 内政部