第15届基于逻辑的方法在编程环境 WLPE'05 研讨会论文集 -- 2005年10月5日 -- 西班牙塞特斯
编程语言
2007-05-23 v4 计算机科学中的逻辑
软件工程
摘要
本卷包含 WLPE 2005 会议上 presented 的论文，即第15届基于逻辑的方法在编程环境国际研讨会。该研讨会的目的是为从事逻辑工具开发和分析程序研究者提供一个非正式的交流平台。今年我们强调了两个方面：一方面是针对逻辑编程环境工具的展示、实践和经验；另一方面是逻辑基础的环境工具用于一般编程。该研讨会在西班牙塞特斯举行，作为第21届国际逻辑编程会议 (ICLP 2005) 的卫星研讨会。该研讨会延续了一系列成功的国际逻辑编程环境研讨会的系列活动，这些研讨会分别在美国俄亥俄州（1989年）、以色列埃利特（1990年）、法国巴黎（1991年）、美国华盛顿（1992年）、加拿大温尼休（1993年）、意大利圣玛加尔蒂特里乔（1994年）、美国波特兰（1995年）、比利时勒文（1997年）和美国波尔金顿（1997年）、美国拉斯·克吕斯（1999年）、塞浦多斯（2001年）、丹麦哥伦比亚（2002年）、印度孟买（2003年）和法国圣马洛（2004年）。我们收到了八篇投稿（来自法国2篇、来自西班牙-美国合作2篇、西班牙-阿根廷合作1篇、来自日本1篇、来自英国1篇和瑞典-法国合作1篇）。程序委员会决定接受七篇论文。本卷包含被接受论文的修订版本。我们感谢作者、评审员以及程序委员会成员的帮助和富有成果的讨论。
引用
@article{arxiv.cs/0508078,
title = {Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain},
author = {Alexander Serebrenik and Susana Munoz-Hernandez},
journal= {arXiv preprint arXiv:cs/0508078},
year = {2007}
}
备注
Seven accepted papers