第27届基于逻辑的程序综合与变换国际研讨会(LOPSTR 2017)预印集
编程语言
2017-09-01 v2 计算机科学中的逻辑
摘要
本卷收录第27届基于逻辑的程序综合与变换国际研讨会(LOPSTR 2016)的预印集，该研讨会于2017年10月10-12日在比利时那慕尔举行，并与第19届声明式编程原理与实践国际研讨会(PPDP 2017)联合举办。研讨会讨论后，论文将经过第二轮评审并遴选以收入正式会议录。
引用
@article{arxiv.1708.07854,
title = {Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)},
author = {Fabio Fioravanti and John P. Gallagher},
journal= {arXiv preprint arXiv:1708.07854},
year = {2017}
}
备注
Papers selected for presentation at LOPSTR 2017