Compilers (Computer programs)

Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / by: (書目-電子資源)

Compiler Construction = 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-電子資源)

Compiler construction = 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (書目-電子資源)

Automatic SIMD vectorization of SSA-based control flow graphs by: (書目-語言資料,印刷品)

Verified software = theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers / by: (書目-電子資源)

Instruction level parallelism by: (書目-電子資源)

A practical approach to compiler construction by: (書目-電子資源)

Introduction to compiler design by: (書目-電子資源)

Automatic tuning of compilers using machine learning by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers V by: (書目-電子資源)

SSA-based compiler design by: (書目-電子資源)

Advanced ASIC chip synthesis = using Synopsys Design Compiler, Physical Compiler, and PrimeTime / by: (書目-語言資料,印刷品)

The Theory and practice of compiler writing / by: (書目-語言資料,印刷品)

The art of compiler design : = theory and practice / by: (書目-語言資料,印刷品)

Principles of compiler design / by: (書目-語言資料,印刷品)

Compilers, principles, techniques, and tools / by: (書目-語言資料,印刷品)

Straley's programming with Clipper 5.0 / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing / by: (書目-語言資料,印刷品)

Loop parallelization / by: (書目-語言資料,印刷品)

High performance compilers for parallel computing / by: (書目-語言資料,印刷品)

A Programming methodology in compiler construction / by: (書目-語言資料,印刷品)

Compiler construction : = principles and practice / by: (書目-語言資料,印刷品)

Symbolic analysis for parallelizing compilers by: (書目-電子資源)

Dependence analysis by: (書目-電子資源)

Loop transformations for restructuring compilers = the foundations / by: (書目-電子資源)

Mono kick start by: (書目-電子資源)

The Austin protocol compiler by: (書目-電子資源)

Modern compiler implementation in Java by: (書目-電子資源)

Advanced ASIC chip synthesis = using Synopsys Design Compiler, Physical Compiler, and PrimeTime / by: (書目-電子資源)

GCC, the complete reference by: (書目-電子資源)

Introduction to compiler construction with UNIX / by: (書目-語言資料,印刷品)

Advanced symbolic analysis for compilers = new techniques and algorithms for symbolic program analysis and optimization / by: (書目-語言資料,印刷品)

C compilers for ASIPs = automatic compiler generation with LISA / by: (書目-語言資料,印刷品)

Modular compiler verification = a refinement-algebraic approach advocating stepwise abstraction / by: (書目-語言資料,印刷品)

Interacting code motion transformations = their impact and their complexity / 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: (書目-語言資料,印刷品)

Compiler construction = 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-電子資源)

Crafting a compiler / by: (書目-語言資料,印刷品)

Compiler construction = 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

Compiler design = analysis and transformation / by: (書目-電子資源)

Data flow analysis = theory and practice / by: (書目-電子資源)

Advanced C and C++ compiling by: (書目-電子資源)

Verified software = theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers / by: (書目-電子資源)

Advanced backend code optimization by: (書目-電子資源)

Instruction selection = principles, methods, and applications / by: (書目-電子資源)

.NET development using the compiler API by: (書目-電子資源)

Beginning MicroPython with the Raspberry Pi Pico = build electronics and IoT projects / by: (書目-電子資源)

Introduction to compiler design by: (書目-電子資源)

Beginning C++ compilers = an introductory guide to Microsoft C/C++ and MinGW compilers / by: (書目-電子資源)

Compiler construction = fundamentals and applications / by: (書目-電子資源)

LLVM compiler for RISC-V architecture = a unique approach to vectorization / by: (書目-電子資源)

Supercompilers for parallel and vector computers / by: (書目-語言資料,印刷品)

The design and construction of compilers / by: (書目-語言資料,印刷品)

Assemblers, compilers, and program translation / by: (書目-語言資料,印刷品)

Crafting a compiler with C / by: (書目-語言資料,印刷品)

Crafting a compiler / by: (書目-語言資料,印刷品)

Engineering a compiler / by: (書目-語言資料,印刷品)

Modern compiler implementation in Java / by: (書目-語言資料,印刷品)

The Design of an optimizing compiler / by: (書目-語言資料,印刷品)

Writing interactive compilers and interpreters / by: (書目-語言資料,印刷品)