دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
دانلود کتاب ECOOP 2012 – برنامه نویسی شی گرا: بیست و ششمین کنفرانس اروپایی، پکن، چین، 11-16 ژوئن 2012. مجموعه مقالات
مشخصات کتاب
ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
ویرایش: 1 نویسندگان: Martin Odersky (auth.), James Noble (eds.) سری: Lecture Notes in Computer Science 7313 ISBN (شابک) : 9783642310560, 9783642310577 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 777 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب ECOOP 2012 – برنامه نویسی شی گرا: بیست و ششمین کنفرانس اروپایی، پکن، چین، 11-16 ژوئن 2012. مجموعه مقالات: تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ECOOP 2012 – برنامه نویسی شی گرا: بیست و ششمین کنفرانس اروپایی، پکن، چین، 11-16 ژوئن 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ECOOP 2012 – برنامه نویسی شی گرا: بیست و ششمین کنفرانس اروپایی، پکن، چین، 11-16 ژوئن 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و ششمین کنفرانس اروپایی برنامه‌نویسی شی گرا، ECOOP 2012، در پکن، چین، در ژوئن 2012 برگزار شد. در مجموع 140 ارسال مقالات در بخش‌های موضوعی در زمینه توسعه‌پذیری، ارزیابی زبان، مالکیت و راه‌اندازی اولیه، ویژگی‌های زبان، تحلیل‌های هدف ویژه، جاوا اسکریپت، نظریه هاردکور، مدولار بودن، به‌روزرسانی‌ها و تداخل، تحلیل‌های همه منظوره سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses.
فهرست مطالب
Front Matter....Pages -
When Compilers Are Mirrors....Pages 1-1
Extensibility for the Masses....Pages 2-27
Extensions during Software Evolution: Do Objects Meet Their Promise?....Pages 28-52
PQL: A Purely-Declarative Java Extension for Parallel Programming....Pages 53-78
Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?....Pages 79-103
Evaluating the Design of the R Language....Pages 104-131
McSAF: A Static Analysis Framework for MATLAB....Pages 132-155
Multiple Aggregate Entry Points for Ownership Types....Pages 156-180
Inference and Checking of Object Ownership....Pages 181-206
Object Initialization in X10....Pages 207-231
Structured Aliasing....Pages 232-232
Pause ’n’ Play: Formalizing Asynchronous C $^\\sharp$ ....Pages 233-257
Lightweight Polymorphic Effects....Pages 258-282
Cloud Types for Eventual Consistency....Pages 283-307
Lock Inference in the Presence of Large Libraries....Pages 308-332
An Analysis of the Mozilla Jetpack Extension Framework....Pages 333-355
Smaller Footprint for Java Collections....Pages 356-382
Enhancing JavaScript with Transactions....Pages 383-408
JavaScript as an Embedded DSL....Pages 409-434
Correlation Tracking for Points-To Analysis of JavaScript....Pages 435-458
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics....Pages 459-483
Static Sessional Dataflow....Pages 484-508
Java Wildcards Meet Definition-Site Variance....Pages 509-534
Constraint-Based Refactoring with Foresight....Pages 535-559
Magda: A New Language for Modularity....Pages 560-588
Marco : Safe, Expressive Macros for Any Language....Pages 589-613
Practical Permissions for Race-Free Parallelism....Pages 614-639
Verification of Snapshot Isolation in Transactional Memory Java Programs....Pages 640-664
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates....Pages 665-687
Application-Only Call Graph Construction....Pages 688-712
Program Sliding....Pages 713-737
Static Detection of Loop-Invariant Data Structures....Pages 738-763
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Warren Buffett’s 3 Favorite Books: A guide to The Intelligent Investor, Security Analysis, and The Wealth of Nations
دانلود کتاب Гражданское и торговое право зарубежных государств. В 2 томах. Т.1. Общая часть. Учебник
دانلود کتاب The Naval Chronicle, Volume 40: Containing a General and Biographical History of the Royal Navy of the United Kingdom with a Variety of Original Papers on Nautical Subjects
