دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ECOOP 2014 – Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings
دانلود کتاب ECOOP 2014 – برنامه نویسی شی گرا: بیست و هشتمین کنفرانس اروپایی، اوپسالا، سوئد، 28 ژوئیه – 1 آگوست 2014. مجموعه مقالات
مشخصات کتاب
ECOOP 2014 – Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings
ویرایش: 1
نویسندگان: Richard Jones (eds.)
سری: Lecture Notes in Computer Science 8586 Programming and Software Engineering
ISBN (شابک) : 9783662442012, 9783662442029
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 721
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب ECOOP 2014 – برنامه نویسی شی گرا: بیست و هشتمین کنفرانس اروپایی، اوپسالا، سوئد، 28 ژوئیه – 1 آگوست 2014. مجموعه مقالات: تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب ECOOP 2014 – Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ECOOP 2014 – برنامه نویسی شی گرا: بیست و هشتمین کنفرانس اروپایی، اوپسالا، سوئد، 28 ژوئیه – 1 آگوست 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ECOOP 2014 – برنامه نویسی شی گرا: بیست و هشتمین کنفرانس اروپایی، اوپسالا، سوئد، 28 ژوئیه – 1 آگوست 2014. مجموعه مقالات
این کتاب مجموعه مقالات بیست و هشتمین کنفرانس اروپایی برنامه نویسی شی گرا، ECOOP 2014، در اوپسالا، سوئد، در ژوئیه/آگوست 2014 است. 27 مقاله ارائه شده در این جلد به دقت بررسی و از 101 مقاله ارسالی انتخاب شدند. آنها در بخش های موضوعی به نام های: تجزیه و تحلیل سازماندهی شده اند. طرح؛ همزمانی؛ انواع؛ پیاده سازی؛ بازسازی جاوا اسکریپت، پی اچ پی و فریمورک ها؛ و توازی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume were carefully reviewed and selected from 101 submissions. They are organized in topical sections named: analysis; design; concurrency; types; implementation; refactoring; JavaScript, PHP and frameworks; and parallelism.
فهرست مطالب
Front Matter....Pages -
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects....Pages 1-26
Self-inferencing Reflection Resolution for Java....Pages 27-53
Constructing Call Graphs of Scala Programs....Pages 54-79
Finding Reference-Counting Errors in Python/C Programs with Affine Analysis....Pages 80-104
Safely Composable Type-Specific Languages....Pages 105-130
Graceful Dialects....Pages 131-156
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming....Pages 157-181
Reusable Concurrent Data Types....Pages 182-206
TaDA: A Logic for Time and Data Abstraction....Pages 207-231
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores....Pages 232-256
Understanding TypeScript....Pages 257-281
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages....Pages 282-307
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution....Pages 308-333
Rely-Guarantee Protocols....Pages 334-359
Stream Processing with a Spreadsheet....Pages 360-384
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding....Pages 385-410
Babelsberg/JS....Pages 411-436
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks....Pages 437-462
Retargetting Legacy Browser Extensions to Modern Extension Frameworks....Pages 463-488
Capture-Avoiding and Hygienic Program Transformations....Pages 489-514
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions....Pages 515-540
Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering....Pages 541-566
An Executable Formal Semantics of PHP....Pages 567-592
Identifying Mandatory Code for Framework Use via a Single Application Trace....Pages 593-617
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns....Pages 618-643
MiCA: A Compositional Architecture for Gossip Protocols....Pages 644-669
Semantics of (Resilient) X10....Pages 670-696
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Developing J2EE Applications with WebSphere Studio: IBM Certified Enterprise Developer (IBM Certification Study Guides) (IBM Certification Study Guides)
دانلود کتاب Simone de Beauvoir
دانلود کتاب Islamic And Christian Spain In The Early Middle Ages
