The proceedings contain 29 papers. The topic discussed include: a serializability violation detector for shared-memory server programs;path slicing;checking type safety of foreign function calls;permission-based owner...
详细信息
The proceedings contain 29 papers. The topic discussed include: a serializability violation detector for shared-memory server programs;path slicing;checking type safety of foreign function calls;permission-based ownership: encapsulating state in higher-order typed languages;code placement for improving dynamic branch prediction accuracy;garbage collection without paging;register allocation for software pipelined multi-dimensional loops;automatically partitioning packet processing applications for pipelined architectures;programming ad-hoc networks of mobile and resource-constrained devices;composing security policies with polymer;and formal loop merging for signal transforms.
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.
暂无评论