1.SAIG 2000:加拿大蒙特利尔
瓦利德·塔哈 :
《程序生成的语义、应用和实现》,SAIG 2000国际研讨会,加拿大蒙特利尔,2000年9月20日,会议记录。 计算机科学课堂讲稿 1924, 施普林格 2000 ,国际标准图书编号 3-540-41054-6
受邀会谈
技术论文
科纳尔·埃利奥特 , 西格伯恩·芬恩 , Oege de Moor公司 :
编译嵌入式语言。 9-27 塞缪尔·卡明 , 米兰达·卡拉汉 , 拉尔斯·克劳森 :
轻量级和生成性组件2:二级组件。 28-50 西蒙·赫尔森 , 彼得·蒂曼 :
碎片专业化。 51-71 李东松 , 福村义彦 :
一种新的专业化终止方法。 72-91 克里斯蒂亚诺·卡尔卡尼奥 , 尤金尼奥·莫吉 :
多阶段命令式语言:一个保守的扩展结果。 92-107 亚当·菲施巴赫 , 约翰·汉南 :
Lambda提升的规格和正确性。 108-128 亨宁·马克霍姆 :
关于强类型语言的Jones最优专门化。 129-148
立场文件
诺曼·拉姆齐 :
可重用程序生成器的实用方面。 149-171 斯特凡诺·贝拉迪 , 马里奥·科波奥 , 费鲁西奥·达米亚尼 , 保拉·贾尼尼 :
功能程序的基于类型的无用代码消除。 172-189 Rich Vuduc公司 , 詹姆斯·德梅尔 :
数字内核自动调整的代码生成器:FFTW的经验。 190-211 伯恩德·菲舍尔 , 约翰·舒曼 , 托马斯·普雷斯伯格 :
从统计模型生成数据分析程序。 212-229
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)