LEADER 03973nam 22006615 450 001 996203270303316 005 20230619182244.0 010 $a3-642-54807-5 024 7 $a10.1007/978-3-642-54807-9 035 $a(CKB)3710000000095067 035 $a(DE-He213)978-3-642-54807-9 035 $a(SSID)ssj0001187065 035 $a(PQKBManifestationID)11642116 035 $a(PQKBTitleCode)TC0001187065 035 $a(PQKBWorkID)11243252 035 $a(PQKB)10829206 035 $a(MiAaPQ)EBC3093504 035 $a(PPN)177824573 035 $a(EXLCZ)993710000000095067 100 $a20140321d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCompiler Construction$b[electronic resource] $e23rd 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 /$fedited by Albert Cohen 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XII, 251 p. 124 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8409 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-54806-7 320 $aIncludes bibliographical references and author index. 327 $aUsing 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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8409 606 $aCompilers (Computer programs) 606 $aOperating systems (Computers) 606 $aSoftware engineering 606 $aCompilers and Interpreters 606 $aOperating Systems 606 $aSoftware Engineering 615 0$aCompilers (Computer programs). 615 0$aOperating systems (Computers). 615 0$aSoftware engineering. 615 14$aCompilers and Interpreters. 615 24$aOperating Systems. 615 24$aSoftware Engineering. 676 $a005.4/53 702 $aCohen$b Albert$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS 2014$f(2014 :$eGrenoble, France) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996203270303316 996 $aCompiler Construction$9771871 997 $aUNISA