Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings: Lecture Notes in Computer Science, cartea 6601
Editat de Jens Knoopen Limba Engleză Paperback – 22 mar 2011
Adresat cercetătorilor și inginerilor software specializați în infrastructura limbajelor de programare, acest volum reunește contribuțiile de vârf prezentate la cea de-a 20-a ediție a conferinței internaționale Compiler Construction. Descoperim aici o selecție riguroasă de lucrări care abordează provocările moderne ale execuției codului, într-un moment în care eficiența compilatoarelor devine critică pentru sistemele complexe. Structura cărții reflectă preocupările tehnice majore ale domeniului: de la tehnici avansate de compilare Just-In-Time (JIT) și generare de cod, până la analiza statică și dinamică a programelor. Găsim în această lucrare secțiuni dedicate calculului reversibil și interpretoarelor, dar și soluții pentru paralelizare și calcul de înaltă performanță (HPC), elemente esențiale pentru gestionarea distribuției de sarcini și date în arhitecturile contemporane. Editorul Jens Knoop, cunoscut pentru expertiza sa în optimizarea interprocedurală din lucrarea Optimal Interprocedural Program Optimization, menține și în acest volum un standard academic înalt, punând accent pe corectitudinea formală și pe algoritmi constructivi. Față de abordările sale anterioare din Leveraging Applications of Formal Methods, Verification, and Validation, unde accentul cădea pe verificare, aici focusul este orientat clar către construcția și transformarea codului. Volumul oferă o perspectivă tehnică asupra evoluției uneltelor de dezvoltare, fiind o resursă documentară de referință pentru cei care studiază spatele scenei în ingineria software.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 558.53 lei - 20%
Preț: 571.88 lei - 20%
Preț: 675.83 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 620.33 lei - 20%
Preț: 560.93 lei - 20%
Preț: 633.70 lei - 20%
Preț: 678.21 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 748.63 lei - 20%
Preț: 562.49 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 449.81 lei - 20%
Preț: 556.96 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 313.10 lei - 18%
Preț: 945.44 lei - 20%
Preț: 314.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 313.87 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 15%
Preț: 672.87 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 979.25 lei - 20%
Preț: 402.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 636.06 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei
Preț: 321.81 lei
Preț vechi: 402.26 lei
-20%
Carte disponibilă
Livrare economică 04-18 mai
Specificații
ISBN-10: 3642198600
Pagini: 310
Ilustrații: XII, 307 p. 121 illus., 27 illus. in color.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.48 kg
Ediția:2011
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchDe ce să citești această carte
Recomandăm acest volum specialiștilor care doresc să înțeleagă fundamentele teoretice și aplicațiile practice ale tehnologiilor moderne de compilare. Cititorul câștigă acces la metodologii riguros verificate despre optimizarea JIT și distribuția datelor, esențiale pentru dezvoltarea de sisteme performante. Este o resursă valoroasă pentru cei care vor să depășească nivelul utilizării de limbaje și să contribuie la crearea uneltelor care le fac posibile.
Textul de pe ultima copertă
The 15 revised full papers presented together with the abstract of one invited talk were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on JIT compilation and code generation, program analysis, reversible computing and interpreters, parallelism and high-performance computing, and task and data distribution.