| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910483637903321 |
|
|
Titolo |
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 / / edited by Albert Cohen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 251 p. 124 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8409 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Operating systems (Computers) |
Software engineering |
Compilers and Interpreters |
Operating Systems |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |