This volume constitutes the pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 10-12th October 2017 in Namur, Belgium, and co-located with the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.
翻译：该卷是2017年10月10日至12日在比利时纳穆尔举行的第27次基于逻辑的方案综合和转型国际专题讨论会(2016年LOPSTER)的预发本,与第19次宣布性方案编制原则和做法国际专题讨论会(2017年)合用同一地点。
相关内容
LOPSTR是一个生动、友好的论坛，可以介绍和讨论正在进行的工作。正式的会议记录只有在研讨会结束后才产生，这样作者才能将这些反馈纳入已发表的论文中。目前，LOPSTR系列的目标是刺激和促进基于逻辑的程序开发方面的国际研究与合作。LOPSTR对任何语言范式中基于逻辑的程序开发都是开放的。官网链接：http://lopstr.webs.upv.es/
相关VIP内容
相关资讯
相关论文
微信扫码咨询专知VIP会员