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 (Theoretical Computer Science and General I （2014）

Cohen, Albert (EDT)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 251 p.
• 言語 ENG
• 商品コード 9783642548062
• DDC分類 005.453

Full Description

This book constitutes the proceedings of the 23rd International Conference on Compiler Construction, CC 2014, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 10 full papers and 4 tool papers included in this volume were carefully reviewed and selected from 47 submissions; the book also contains one invited talk. The papers are organized in topical sections named: program analysis and optimization; parallelism and parsing and new trends in compilation.

Contents

Using the SSA-Form in a Code Generator.- Program Analysis and Optimization Parameterized Construction of Program Representations for Sparse Dataflow Analyses.- Inter-iteration Scalar Replacement Using Array SSA Form.- Recovery of Class Hierarchies and Composition Relationships from Machine Code.- Liveness-Based Garbage Collection.- deGoal a Tool to Embed Dynamic Code Generators into Applications.- Improving the Performance of X10 Programs by Clock Removal.- Taming Control Divergence in GPUs through Control Flow Linearization.- Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code.- A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching.- The PAPAGENO Parallel-Parser Generator.- String Analysis for Dynamic Field Access.- Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler.- A First Step towards a Compiler for Business Processes.- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.