مشخصات کتاب

ECOOP 2010 – Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

ویرایش: 1 
نویسندگان: Doug Lea (auth.),  Theo D’Hondt (eds.)  
سری: Lecture Notes in Computer Science 6183 : Programming and Software Engineering 
ISBN (شابک) : 9783642141072, 3642141072 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 610 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

کلمات کلیدی مربوط به کتاب ECOOP 2010 - برنامه نویسی شی گرا: بیست و چهارمین کنفرانس اروپا ، ماریبور ، اسلوونی ، 21-25 ژوئن ، 2010. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبکه های ارتباطی کامپیوتری، آنتی بادی ها، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل

در صورت تبدیل فایل کتاب 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 - برنامه نویسی شی گرا: بیست و چهارمین کنفرانس اروپا ، ماریبور ، اسلوونی ، 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 -

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

کتاب های تصادفی

دانلود کتاب Language Leader. Advanced. Audio CD

دانلود کتاب Advances In Engineering Mechanics Reflections And Outlooks: In Honor Of Theodore Y-t Wu

دانلود کتاب BISHAMONゲームエフェクトデザイン入門

دانلود کتاب Paul and the Dynamics of Power: Communication and Interaction in the Early Christ-Movement (Library Of New Testament Studies)

دانلود کتاب The Prince: Andrew Cuomo, Coronavirus, and the Fall of New York