LEADER 04753nam  22008055  450 
001 9910484991503321
005 20251226195648.0
010   $a3-540-78791-7
024 7 $a10.1007/978-3-540-78791-4
035   $a(CKB)1000000000490393
035   $a(SSID)ssj0000316728
035   $a(PQKBManifestationID)11240507
035   $a(PQKBTitleCode)TC0000316728
035   $a(PQKBWorkID)10286366
035   $a(PQKB)11734329
035   $a(DE-He213)978-3-540-78791-4
035   $a(MiAaPQ)EBC3068757
035   $a(PPN)12521863X
035   $a(Au-PeEL)EBL3068757
035   $a(CaPaEBR)ebr10533952
035   $a(CaONFJC)MIL185656
035   $a(OCoLC)233974028
035   $a(EXLCZ)991000000000490393
100   $a20100301d2008      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCompiler Construction $e17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /$fedited by Laurie Hendren
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $a1 online resource (XII, 312 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4959
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-78790-9 
320   $aIncludes bibliographical references and index.
327   $aPapers from Invited Talks -- Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations -- A System for Generating Static Analyzers for Machine Instructions -- IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries -- An Adaptive Strategy for Inline Substitution -- Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts -- Compiling for Parallel Architectures -- Control Flow Emulation on Tiled SIMD Architectures -- Generating SIMD Vectorized Permutations -- Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model -- Runtime Techniques and Tools -- How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation -- Compiler-Guaranteed Safety in Code-Copying Virtual Machines -- Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs -- Visualization of Program Dependence Graphs -- Analyses -- On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis -- Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method -- Java Bytecode Verification for @NonNull Types -- Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models -- Atomicity and Transactions -- Coqa: Concurrent Objects with Quantized Atomicity -- Keep Off the Grass: Locking the Right Path for Atomicity -- Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization.
330   $aThis book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis and transformations, compiling for parallel architectures, runtime techniques and tools, analyses, and atomicity and transactions.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4959
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aMachine theory
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aSoftware Engineering
606   $aArtificial Intelligence
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aMachine theory.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615 14$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
676   $a005.4/53
701   $aHendren$b Laurie J.$f1958-$01222789
712 12$aETAPS 2008$f(2008 :$eBudapest, Hungary)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484991503321
996   $aCompiler construction$94189943
997   $aUNINA