Optimizing data structures in high-level programs

Optimizing data structures in high-level programs
复制标题

优化高级程序中的数据结构

DOI:
10.1145/2480359.2429128
复制
发表时间:
2013
期刊:
Sigplan Notices
影响因子:
--
通讯作者:
Martin Odersky
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...