2009年通用编程研讨会
英国爱丁堡,太阳报。2009年8月30日(之前ICFP09系列)
(本页:http://wiki.portal.chalmers.se/cse/pmwiki.php/WGP09/)
新闻
工作组方案委员会从14份提交的文件中选出了以下8份文件:
- Coq中的多型性和证明。Wendy Verbruggen、Edsko de Vries和Arthur Hughes。
- 适应性组件框架:以C++标准库中的向量为例。Jyrki Katajainen和Bo Simonsen。
- C++中的函数概念——一项实证研究。丹尼尔·林克和西比尔·舒普。
- 面向方面编程对函数式程序员意味着什么?王蒙和布鲁诺·奥利维拉。
- 带进程分离的类型专用分阶段编程。刘大伟(Yu David Liu)、克里斯蒂安·斯卡尔卡(Christian Skalka)和斯科特·史密斯(Scott Smith)。
- 数据类型系列的类型安全差异。Eelco Lempsink、Sean Leather和Andres Loeh。
- 遇见一个粉丝俱乐部-一组通用形状选择器。罗兰·贝克豪斯(Roland Backhouse)、理查德·伯德(Richard Bird)和保罗·胡根蒂克(Paul Hoogendijk)。
- 参数化数据类型-通用性。杰里米·吉本斯和罗斯·帕特森。
所有被接受的论文都将在研讨会论文集上发表,并提交给研讨会参与者;因此,预计至少有一位作者将注册参加研讨会并来到爱丁堡。
2009年工作组的重要日期:
期末论文到期日: | 星期二 | 2009-06-17 |
研讨会: | 星期日 | 2009-08-30 |
截止日期提交: | 星期日 | 2009年5月10日(五天后ICFP09系列通知) |
中标通知书: | 星期一 | 2009-06-01 |
作者应以PDF格式向WGP09 EasyChair实例2009年5月10日之前。标准长度应限制在12页以内(两栏,9pt)ACM SIGPLAN风格指南。每次提交都必须遵守SIGPLAN的重新发布策略。违规行为可能会导致违规提交文件被立即拒绝。接受的论文由ACM出版,并将额外出现在ACM数字图书馆中。
研讨会的目标
泛型编程是通过它们更通用。通用程序通常包含非传统类型多态性;通过适当的实例化他们的参数。与正常程序相比泛型程序的参数往往结构非常丰富;对于例如,它们可以是其他程序、类型或类型构造函数、类层次结构,甚至编程范式。
通用编程技术一直是人们感兴趣的从业者和理论家,至少20年通用编程技术一直是函数式和面向对象编程语言社区。通用编程已经逐渐传播到越来越多的主流语言和如今也广泛用于工业。本研讨会将汇集来自世界各地泛型编程领域的领先研究人员和实践者世界,以及捕捉这方面最新技术的专题论文重要区域。
我们欢迎在理论和实践的各个方面作出贡献
- 自适应面向对象编程,
- 面向方面编程,
- 概念(如STL/C++意义)
- 基于组件的编程,
- 通用编程,
- 元编程,
- 多类型编程,
- 使用模块编程,
- 等等。
主办方:
- 主席
- 帕特里克·詹森,FP公司.集合.CSE公司.查尔默斯.参见。
- 联合主席
- 西比尔·舒普,标准时间.TUHH公司.de(日期)。
方案委员会
保时捷中心成员将在其社区和研究小组中宣传研讨会,并鼓励同事和学生参与。保时捷中心成员通常会参加研讨会(也鼓励他们提交论文)。
我们计划举行由ACM发布的正式会议。
泛型编程研讨会的历史
今年:
早期的通用编程研讨会已在
牛津还举办了(密切相关的)DGP研讨会(2004年6月3日至4日),诺丁汉举办了DGP春季学校(2006年4月24日至27日,附带半天研讨会)。
关于WGP的一般信息
WGP永久主页