دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Doug Lea (auth.), Theo D’Hondt (eds.) سری: Lecture Notes in Computer Science 6183 : Programming and Software Engineering ISBN (شابک) : 3642141064, 9783642141065 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 599 [609] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
در صورت تبدیل فایل کتاب ECOOP 2010 – Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ECOOP 2010 - برنامه نویسی شی گرا: بیست و چهارمین کنفرانس اروپا ، ماریبور ، اسلوونی ، 21-25 ژوئن ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری بیست و چهارمین کنفرانس اروپایی برنامهنویسی شی گرا، ECOOP 2010، برگزار شده در ماریبور، اسلوونی، در ژوئن 2010 است. از 108 ارسال این مقالات موضوعاتی مانند محیطها و ابزارهای برنامهنویسی، مبانی نظری زبانهای برنامهنویسی، روشهای رسمی، مدلهای همزمانی در جاوا، روشهای تجربی، سیستمهای نوع، طراحی و پیادهسازی زبان، انتزاعات و تجربیات همزمانی را پوشش میدهند.
This book constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. The 24 revised full papers, presented together with one extended abstract were carefully reviewed and selected from a total of 108 submissions. The papers cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, concurrency models in Java, empirical methods, type systems, language design and implementation, concurrency abstractions and experiences.
Front Matter....Pages -
Code Roots....Pages 1-1
Detecting Missing Method Calls in Object-Oriented Software....Pages 2-25
Debugging Model-Transformation Failures Using Dynamic Tainting....Pages 26-51
Automatically Extracting Class Diagrams from Spreadsheets....Pages 52-75
Adding Dynamic Types to C $^\\sharp$ ....Pages 76-100
Essential AOP: The A Calculus....Pages 101-125
The Essence of JavaScript....Pages 126-150
Verifying Executable Object-Oriented Specifications with Separation Logic....Pages 151-174
Verifying Generics and Delegates....Pages 175-199
Recency Types for Analyzing Scripting Languages....Pages 200-224
Correct Refactoring of Concurrent Java Code....Pages 225-249
Programming Coordinated Behavior in Java....Pages 250-274
JCoBox: Generalizing Active Objects to Concurrent Components....Pages 275-299
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study....Pages 300-303
A Type System for Data-Centric Synchronization....Pages 304-328
Type-Safe Eventful Sessions in Java....Pages 329-353
Capabilities for Uniqueness and Borrowing....Pages 354-378
Secret Valley....Pages 379-379
Embedding Languages without Breaking Tools....Pages 380-404
Modules as Objects in Newspeak....Pages 405-428
Inline Caching Meets Quickening....Pages 429-451
Self-Replicating Objects for Multicore Platforms....Pages 452-477
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO....Pages 478-503
Concurrent Abstract Predicates....Pages 504-528
The Use of Overloading in Java Programs....Pages 529-551
Falling Back on Executable Specifications....Pages 552-576
Contract-Based Data Structure Repair Using Alloy....Pages 577-598
Back Matter....Pages -