Cantitate/Preț
Produs

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 Knoop
en 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.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32181 lei

Preț vechi: 40226 lei
-20%

Puncte Express: 483

Carte disponibilă

Livrare economică 04-18 mai


Specificații

ISBN-13: 9783642198601
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ă

Research

De 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ă

This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
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.

Caracteristici

Fast-track conference proceedings State-of-the-art research Up-to-date results