×

有限责任公司

swMATH ID: 4892
软件作者： Lattner，C.，Adve，V。；伊利诺伊大学
描述： LLVM项目是模块化、可重用编译器和工具链技术的集合。尽管LLVM有其名称，但它与传统的虚拟机几乎没有什么关系，尽管它确实提供了可用于构建它们的有用库。LLVM最初是伊利诺伊大学的一个研究项目，目的是提供一种现代的、基于SSA的编译策略，能够支持任意编程语言的静态和动态编译。从那时起，LLVM已经发展成为一个由许多不同子项目组成的伞式项目，其中许多子项目被各种各样的商业和开源项目用于生产，并被广泛用于学术研究。
主页： http://llvm.org
依赖项： C/C++编译器
关键词： C/C++程序编译器
相关软件： z3（零3）；朱莉娅；github；蟒蛇；伊莎贝尔/HOL；吉隆坡机场；Coq公司；CUDA公司；SMT-LIB公司；CPA检查器；科学Py；布吉；瓦尔格林德；CBMC公司；数字Py；R（右）；爆炸；MiBench公司；古罗比；AMPL公司
引用于： 79文件
更多出版物： http://llvm.org/pubs/
全部的 前5名

243位作者引用

4 代表，Thomas W。
三 弗洛里安·弗洛恩
三 吉尔根·吉斯尔
三 杰拉·亨塞尔
三 科瓦奇，劳拉·伊尔迪科
三 托马斯·斯特罗德
2 阿尔巴古提·奥斯
2 科尼利厄斯·阿斯切尔曼
2 JiříBarnat
2 克拉克·W·巴雷特。
2 马克·布罗克施米特
2 马雷克·查卢帕
2 玛莎·契契克
2 加布里埃尔·多斯·里斯
2 邓宁，伊恩
2 克里斯蒂安·埃内
2 卡斯滕·福斯
2 阿里·古芬克尔
2 卢宾，迈尔斯
2 劳伦特·穆尼尔
2 艾娜·尼梅茨
2 鲁道夫·佩利佐尼
2 玛丽·劳蕾·波特
2 马蒂亚斯·普雷纳
2 安德鲁·雷诺兹
2 彼得·施奈德·坎普
2 图沙尔·沙尔马
2 斯特雷切克，简
2 Bjarne斯特劳斯特鲁普
2 塞萨尔·蒂内利
2 尤尼·佐哈尔
1 鲁伊·阿伯鲁
1 萨尔瓦多阿布雷乌
1 乔瓦尼·阿戈斯塔
1 Amani，西德尼
1 达内什瓦·阿姆罗拉希
1 罗斯·P·安德森。
1 Joel A.E.Andersson。
1 克莱门·奥伯特
1 Domagoj Babić
1 斯坦利·巴克
1 马雷克·巴拉诺夫斯基
1 穆罕默德·巴巴拉
1 亚历山德罗·巴伦吉
1 埃齐奥·巴托西
1 塔尔本恩
1 乌尔里希·伯杰
1 埃米利亚诺·贝蒂
1 杰夫·贝赞森
1 普拉莫德·巴托蒂亚
1 杰弗里·比尔姆斯。
1 布兰奇，桑德琳
1 博尔祖·博纳克达尔普尔
1 雷米·波顿
1 布埃诺，弗朗西斯科
1 马可·卡卡莫
1 杰罗尼莫·卡斯特里隆
1 约翰·麦金利·钱伯斯
1 陈子林
1 菲利普·科多涅特
1 蒂亚戈·科古姆布雷罗
1 阿尔伯特·科恩
1 乔安·科斯塔·塞科
1 西尔维亚·克拉法
1 萨尔瓦多科莫
1 洛丽斯·达安东尼
1 卢特菲·达尔马万
1 德博舍尔，科恩
1 迪·皮罗（Di Pirro，Matteo）
1 丹尼尔·迪亚兹
1 莫里茨·马蒂亚斯·迪尔
1 塞巴斯蒂安·多纳迪奥
1 伊奥·德拉甘
1 索菲亚·德罗索波洛
1 段振华
1 阿里·埃布纳西尔
1 艾伦·斯图亚特·爱德曼
1 苏珊·艾森巴赫
1 费边·埃姆斯
1 拉沙·法奎
1 费伯，帕斯卡
1 冯敏
1 冯伟杰
1 克里斯托夫·费泽尔
1 塞巴斯蒂安·费奇迈斯特
1 格雷姆·恒河
1 高、开封
1 玛丽亚·加扎兰-耶稣
1 杰克·J·加泽拉。
1 爱德华多·杰拉尔多
1 卢卡斯·吉亚尼纳齐
1 乔治亚州Giannopoulou
1 Joris J.M.Gillis。
1 马蒂亚斯·戈伯特（Matthias K.Gobbert）。
1 阿尔贝托·冈萨雷斯
1 埃尔萨·甘特。
1 拉吉夫·古普塔。
1 阿克塞尔·哈贝梅耶
1 雷扎哈吉什基
1 尼古拉斯·哈尔巴赫斯
…还有143位作者
全部的 前5名

26篇连载文章中引用

5 自动推理杂志
4 系统设计中的形式化方法
三 理论计算机科学
2 计算机程序设计科学
2 实时系统
2 SIAM审查
2 逻辑程序设计理论与实践
2 计算机科学中的逻辑方法
2 程序设计中的逻辑和代数方法杂志
1 应用力学与工程中的计算机方法
1 计算机物理通信
1 信息处理信件
1 计算物理杂志
1 ACM数学软件汇刊
1 并行计算
1 符号计算杂志
1 统计科学
1 国际并行程序设计杂志
1 信息与计算
1 统计计算与模拟杂志
1 信息计算杂志
1 机器学习研究杂志（JMLR）
1 计算机科学中的数学
1 数学规划计算
1 计算机科学评论
1 查普曼和霍尔/CRC The R系列
全部的 前5名

在14个字段中引用

71 计算机科学（68至XX）
9 数值分析（65-XX）
4 信息与通信理论、电路（94-XX）
三 统计学（62-XX）
三 运筹学、数学规划（90-XX）
2 数理逻辑与基础（03-XX）
1 偏微分方程（35-XX）
1 近似和展开（41至XX）
1 变分法与最优控制；最优化（49至XX）
1 概率论与随机过程（60-XX）
1 可变形固体力学（74-XX）
1 流体力学（76-XX）
1 量子理论（81-XX）
1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX）

按年份列出的引文