×

GHC公司

swMATH ID: 6691
软件作者： 西蒙·佩顿（Simon Peyton）琼斯（Jones）；西蒙·马洛
描述： 格拉斯哥哈斯克尔编译器内联程序的秘密。Haskell等高阶语言鼓励程序员通过组合函数来构建抽象。一个好的编译器必须内联许多这样的调用才能恢复一个有效的可执行程序。原则上，倾斜非常简单：只需用函数体的实例替换函数调用即可。但是，任何编译器编写者都会告诉您，倾斜是一种黑色艺术，充满了微妙的妥协，这些妥协可以共同提供良好的性能，而不会造成不必要的代码膨胀。因此，本文的目的是阐明我们从一个全面的“生产”内联程序（Glasgow Haskell编译器中使用的内联程序）中学到的关键经验。我们主要关注算法方面，但我们也提供了一些指示性测量来证实内联器各个方面的重要性。
主页： http://www.haskell.org/haskellwiki/GHC
依赖项： 哈斯克尔
相关软件： 哈斯克尔；毫升；OCaml公司；Coq公司；莫德；伊甸园；github；口香糖；西洋陆军棋；自动化；塔姆普尔；伊莎贝尔/HOL；OBJ3型；阿格达；斯卡拉；流行标志；奥特；链接；克莱斯利；清洁
引用于： 96文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
格拉斯哥哈斯克尔编译器内联程序的秘密。 Zbl 1037.68042号
西蒙·佩顿·琼斯；西蒙·马洛
2002
全部的 前5名

169位作者引用

11 佩顿·琼斯，西蒙·L。
5 Manuel M.T.查克拉瓦蒂。
5 里卡多·佩纳
4 马丁·苏尔兹曼
4 埃尔科·维瑟
三 帕特里夏·约翰
三 加布里埃尔·科妮莉亚·凯勒
三 多米尼克·A·乌节。
三 汤姆·施里杰弗斯
三 安德鲁·托尔马赫
三 Franklyn A.Turbak。
三 Janis Voigtlander公司
三 斯蒂芬妮·威里奇
三 Wells，Joe B。
2 阿尔贝托·德拉·恩西纳
2 艾琳·迪莫克
2 理查德·艾森伯格。
2 马科托·哈马纳
2 凯文·哈蒙德
2 纪尧姆·霍夫曼
2 罗马莱斯钦斯基
2 汉斯·沃夫冈·洛伊德
2 西蒙·马洛
2 罗伯特·米勒
2 Ryan R.牛顿。
2 曼弗雷德·施密特·沙乌
2 克拉拉·塞古拉
2 彼得·詹姆斯·斯塔基
2 彼得·蒂曼。
2 菲尔·特林德。
1 阿卡恩，奥梅尔·S。
1 安基永
1 阿姆托夫特，托本
1 卡洛斯·阿雷塞斯
1 泽纳·M·阿里奥拉。
1 吉尔·巴特
1 David A.Basin。
1 Baydin，Atm Günesh
1 马西耶·本德考斯基
1 Bergström，Lars B。
1 乔斯特·贝托尔德
1 帕特里克·布莱克本
1 马丁·布拉文波尔
1 约阿希姆·布雷特纳
1 米歇尔·布格列西
1 乔瓦尼·坎帕尼亚
1 塞巴斯蒂安·卡利耶
1 程艾瑞克·大海
1 骑士，蒂姆
1 魏恩根·钦
1 Choi，Kwanghoon公司
1 穆罕默德·达什蒂
1 安东尼·戴维（Antony J.T.Davie）。
1 小de Carvalho Francisco Heron
1 马库斯·德根
1 Denker，砂砾
1 迪特尔，M。
1 阿泽·迪杰斯特拉
1 保罗·唐恩
1 格雷戈里·杜克。
1 加布里埃尔·埃布纳
1 艾哈迈德·赫萨尼
1 尼尔斯·埃尔曼瑞奇
1 罗伯特·恩纳尔斯
1 塞巴斯蒂安·费舍尔
1 彼得·福克。
1 杰里米·吉本斯
1 Neal Glew先生
1 凯文·格林
1 卡塔兹纳·格里吉尔
1 雷米·海默尔
1 托马斯·哈格伦
1 Han、Taisook
1 蒂姆·哈里斯
1 约翰·哈特克利夫
1 弗里茨·亨利恩
1 伊达尔戈·赫雷罗（Hidalgo-Herrero），梅赛德斯
1 拉尔夫·欣泽
1 彼得·霍恩。
1 托马斯·霍斯特迈尔
1 细谷和夫
1 贾斯汀·徐
1 保罗·哈达克
1 格雷厄姆·赫顿
1 石井，广美
1 斯蒂芬·贾维斯。
1 杰·巴里
1 马克·琼斯。
1 尤根森，克劳斯
1 西蒙·卡菲尔
1 阿萨夫·科福里。
1 科赫（Christoph T.Koch）。
1 Olexandr科诺瓦洛夫
1 阿明·库内曼
1 Kulkarni，Abhishek N。
1 尤努斯·库茨。
1 肯·弗里斯·拉森
1 Lengauer，基督徒
1 莱斯利、丽贝卡
1 罗伯特·刘易斯。
……还有69位作者
全部的 前5名

17篇连载文章中引用

16 函数编程杂志
2 理论计算机科学
2 符号计算杂志
2 信息与计算
2 MSCS公司。计算机科学中的数学结构
2 高阶和符号计算
2 计算机基础理论
2 逻辑程序设计理论与实践
2 计算机语言、系统和结构
1 计算机语言
1 计算机程序设计科学
1 新一代计算
1 LMS计算与数学杂志
1 RAIRO公司。理论信息学及其应用
1 逻辑与代数程序设计杂志
1 机器学习研究杂志（JMLR）
1 剑桥计算机科学教材
全部的 前5名

在12个字段中引用

93 计算机科学（68至XX）
9 数学逻辑和基础（03-XX）
1 总体主题；集合（00-XX）
1 组合数学（05-XX）
1 代数几何（14-XX）
1 范畴理论；同调代数（18-XX）
1 代数拓扑（55-XX）
1 统计学（62-XX）
1 数值分析（65-XX）
1 量子理论（81-XX）
1 生物学和其他自然科学（92-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文