Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

دانلود کتاب Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

44000 تومان موجود

کتاب ساخت کامپایلر: بیست و چهارمین کنفرانس بین المللی، CC 2015، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، مجموعه مقالات برگزار شد. نسخه زبان اصلی

دانلود کتاب ساخت کامپایلر: بیست و چهارمین کنفرانس بین المللی، CC 2015، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، مجموعه مقالات برگزار شد. بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 7


توضیحاتی در مورد کتاب Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

نام کتاب : Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : ساخت کامپایلر: بیست و چهارمین کنفرانس بین المللی، CC 2015، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، مجموعه مقالات برگزار شد.
سری : Lecture Notes in Computer Science 9031
نویسندگان :
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2015
تعداد صفحات : 258
ISBN (شابک) : 9783662466629 , 9783662466636
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.

توضیحاتی در مورد کتاب :




این کتاب مجموعه مقالات بیست و چهارمین کنفرانس بین‌المللی ساخت کامپایلر، CC 2015 است که به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2015، در لندن، بریتانیا، در آوریل 2015 برگزار شد.

11 مقاله ارائه شده در این جلد به دقت بررسی و از بین 34 مقاله ارسالی انتخاب شدند. آنها با مهندسی کامپایلر و تکنیک های کامپایل سر و کار دارند. تجزیه و تحلیل و بهینه سازی کامپایلر و تکنیک های رسمی در کامپایلرها. این کتاب همچنین حاوی یک سخنرانی دعوت شده به صورت کامل است.


فهرست مطالب :


Front Matter....Pages 1-10
Front Matter....Pages 1-1
A Graphical Model for Context-Free Grammar Parsing....Pages 3-27
Front Matter....Pages 29-29
A Refactoring Library for Scala Compiler Extensions....Pages 31-48
Feature-Specific Profiling....Pages 49-68
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages....Pages 69-88
Faster, Practical GLL Parsing....Pages 89-108
Front Matter....Pages 109-109
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation....Pages 111-130
Staged Points-to Analysis for Large Code Bases....Pages 131-150
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes....Pages 151-170
Optgen : A Generator for Local Optimizations....Pages 171-189
Front Matter....Pages 191-191
Towards a Scalable Framework for Context-Free Language Reachability....Pages 193-211
Protocols by Default....Pages 212-232
Verifying Fast and Sparse SSA-Based Optimizations in Coq....Pages 233-252
Back Matter....Pages 253-253

توضیحاتی در مورد کتاب به زبان اصلی :


This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length.




پست ها تصادفی