Compilers (Computer programs)
概要
作品: | 68 作品在 20 項出版品 20 種語言 |
---|
書目資訊
Modular compiler verification = a refinement-algebraic approach advocating stepwise abstraction /
by:
(書目-語言資料,印刷品)
Optimal interprocedural program optimization = a new framework and its application /
by:
(書目-語言資料,印刷品)
Compiler optimizations for scalable parallel systems = languages, compilation techniques, and run time systems /
by:
(書目-語言資料,印刷品)
Advanced ASIC chip synthesis = using Synopsys Design Compiler, Physical Compiler, and PrimeTime /
by:
(書目-語言資料,印刷品)
Advanced symbolic analysis for compilers = new techniques and algorithms for symbolic program analysis and optimization /
by:
(書目-語言資料,印刷品)
更多
較少的
主題