第三届综合研讨会论文集
计算机科学中的逻辑
2014-07-21 v1 形式语言与自动机理论
软件工程
系统与控制
摘要
综合（synthesis）的概念，即从规范自动计算实现的过程，最近在软件工程和反应式系统设计的背景下获得了巨大的动力。虽然人们普遍认为，由于复杂性/不可判定性问题，综合不能完全取代人工工程，但它可以协助设计大多数程序员觉得具有挑战性的复杂代码片段，或帮助协调反应式环境中的任务。SYNT 研讨会旨在汇聚对综合感兴趣的研究人员，讨论并展示关于自动综合及其各个方面应用的进行中工作和成熟工作。第三届研讨会于 2014 年 7 月在奥地利维也纳举行，与第 26 届计算机辅助验证国际会议联合举办，后者是维也纳逻辑夏季活动的一部分。研讨会包括八篇贡献报告和四篇邀请报告。此外，还设有一个关于语法引导综合竞赛 (SyGuS) 和 SyntComp 综合竞赛的特别环节。
引用
@article{arxiv.1407.4937,
title = {Proceedings 3rd Workshop on Synthesis},
author = {Krishnendu Chatterjee and Rüdiger Ehlers and Susmit Jha},
journal= {arXiv preprint arXiv:1407.4937},
year = {2014}
}