第26届基于逻辑的程序综合与变换国际研讨会(LOPSTR 2016)预会议录
编程语言
2016-09-02 v2 计算机科学中的逻辑
摘要
本卷为第26届基于逻辑的程序综合与变换国际研讨会(LOPSTR 2016)的预会议录，该会议于2016年9月6日至8日在英国苏格兰爱丁堡举行，并与第18届声明式编程原理与实践国际研讨会(PPDP 2016)及第23届静态分析研讨会(SAS 2016)同期召开。在研讨会讨论后，论文将经过第二轮审稿并遴选以收入正式会议录。
引用
@article{arxiv.1608.02534,
title = {Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)},
author = {Manuel V. Hermenegildo and Pedro Lopez-Garcia},
journal= {arXiv preprint arXiv:1608.02534},
year = {2016}
}
备注
Papers selected for presentation at LOPSTR 2016