Optimizing data structures in high-level programs
Optimizing data structures in high-level programs
复制标题
优化高级程序中的数据结构
DOI:
10.1145/2480359.2429128
复制
发表时间:
2013
期刊:
影响因子:
--
通讯作者:
Martin Odersky
中科院分区:
文献类型:
--
作者:
Tiark Rompf;Arvind K. Sujeeth;Nada Amin;Kevin J. Brown;V. Jovanovic;HyoukJoong Lee;Manohar Jonnalagedda;K. Olukotun;Martin Odersky
High level data structures are a cornerstone of modern programming and at the same time stand in the way of compiler optimizations. In order to reason about user- or library-defined data structures...