ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings

ویرایش: 1 
نویسندگان: ,   
سری: 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. مجموعه مقالات: تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 16


در صورت تبدیل فایل کتاب 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 -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی