The proceedings contain 28 papers. The topics discussed include: efficient building and placing of gating functions;avoiding conditional branches by code replication;accurate static branch prediction by value range pr...
ISBN:
(纸本)0897916972
The proceedings contain 28 papers. The topics discussed include: efficient building and placing of gating functions;avoiding conditional branches by code replication;accurate static branch prediction by value range propagation;improving balanced scheduling with compiler optimizations that increase instruction-level parallelism;selective specialization for object-oriented languages;corpus-based static branch prediction;flow-sensitive interprocedural constant propagation;efficient context-sensitive pointer analysis for c programs;simple and effective link-time optimization of modula-3 program;APT: a data structure for optimal control dependence computation;implementation of the data-flow synchronous language signal;scheduling and mapping: software pipelining in the presence of structural hazards;register allocation using lazy saves, eager restores, and greedy shuffling;context-insensitive alias analysis reconsidered;a type-based compiler for standard ML;unifying data and control transformations for distributed shared-memory machines;storage assignment to decrease code size;optimizing parallel programs with explicit synchronization;the LRPD test: speculative run-time parallelization of loops with privatization and reduction parallelization;and the power of assignment motion.
The proceedings contains 30 papers from the Proceedings of the acmsigplanconference on programminglanguage and implementation (pldi). Topics discussed include: design and implementation of generics for the .NET com...
详细信息
The proceedings contains 30 papers from the Proceedings of the acmsigplanconference on programminglanguage and implementation (pldi). Topics discussed include: design and implementation of generics for the .NET common language runtime;dynamic software updating;demand-driven pointer analysis;incrementalized pointer and escape analysis;enforcing high-level protocols in low-level software;language support for regions;principled scavenging;heap profiling for space-efficient Java;composing high-performance memory allocators;and the pointer assertion logic engine.
The proceedings contains 28 papers from the Proceedings of the acmsigplan 2003 conference on programminglanguagedesign and implementation® (pldi'03). The topics discussed include: linear analysis and opt...
详细信息
The proceedings contains 28 papers from the Proceedings of the acmsigplan 2003 conference on programminglanguagedesign and implementation® (pldi'03). The topics discussed include: linear analysis and optimization of stream programs;taming the IXP network processor;design, implementation and evaluation of a compiler algorithm;compile-time dynamic voltage scale settings;static conflict analysis for multi-threaded object-oriented programs;and checking and inferring local non-aliasing.
The proceedings contain 30 papers on programminglanguages. Topics include languagedesign, data structures, codes, mathemtical techniques, errors, error correction, computation theory, program compiling and program o...
详细信息
ISBN:
(纸本)089791662X
The proceedings contain 30 papers on programminglanguages. Topics include languagedesign, data structures, codes, mathemtical techniques, errors, error correction, computation theory, program compiling and program optimization.
The proceedings contains 30 papers. Topics discussed include runtime techniques, pointer analysis, program correctness, compilation for parallel hardware, high level transforms, java programs and java optimization.
The proceedings contains 30 papers. Topics discussed include runtime techniques, pointer analysis, program correctness, compilation for parallel hardware, high level transforms, java programs and java optimization.
The proceedings contains 28 papers. Topics discussed include software pipelining, reduced multipipeline machine description in scheduling constraints, program debugging, program compilers, parallel processing systems,...
详细信息
The proceedings contains 28 papers. Topics discussed include software pipelining, reduced multipipeline machine description in scheduling constraints, program debugging, program compilers, parallel processing systems, logic programming, run time code generation, language support for memory coherence protocols, and data flow analysis.
暂无评论