دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
دانلود کتاب ساخت کامپایلر: بیست و چهارمین کنفرانس بین المللی، CC 2015، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، مجموعه مقالات برگزار شد.
مشخصات کتاب
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
نویسندگان: Björn Franke (eds.)
سری: Lecture Notes in Computer Science 9031
ISBN (شابک) : 9783662466629, 9783662466636
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2015
تعداد صفحات: 258
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب ساخت کامپایلر: بیست و چهارمین کنفرانس بین المللی، CC 2015، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، مجموعه مقالات برگزار شد.: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ساخت کامپایلر: بیست و چهارمین کنفرانس بین المللی، CC 2015، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ساخت کامپایلر: بیست و چهارمین کنفرانس بین المللی، CC 2015، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، مجموعه مقالات برگزار شد.
این کتاب مجموعه مقالات بیست و چهارمین کنفرانس بین المللی ساخت کامپایلر، CC 2015 است که به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2015، در لندن، انگلستان، در آوریل 2015 برگزار شد.
11 مقاله ارائه شده در این جلد به دقت بررسی و از بین 34 مقاله ارسالی انتخاب شدند. آنها با مهندسی کامپایلر و تکنیک های کامپایل سر و کار دارند. تجزیه و تحلیل و بهینه سازی کامپایلر و تکنیک های رسمی در کامپایلرها. این کتاب همچنین حاوی یک سخنرانی دعوت شده به صورت کامل است.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Globalization and American popular culture
دانلود کتاب Planificación, diseño y gestión participativa del paisaje
دانلود کتاب Fragen und Antworten zu Werkstoffe
دانلود کتاب The Flying Publisher Udhërrëfyesi i shkurtër i Hepatitit C
