دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ECOOP 2009 – Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
دانلود کتاب ECOOP 2009 - برنامه نویسی شی گرا: بیست و سومین کنفرانس اروپا ، جنوا ، ایتالیا ، 6-10 ژوئیه 2009. مجموعه مقالات
مشخصات کتاب
ECOOP 2009 – Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Simon Peyton Jones (auth.), Sophia Drossopoulou (eds.) سری: Lecture Notes in Computer Science 5653 : Programming and Software Engineering ISBN (شابک) : 3642030122, 9783642030123 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 643 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب ECOOP 2009 - برنامه نویسی شی گرا: بیست و سومین کنفرانس اروپا ، جنوا ، ایتالیا ، 6-10 ژوئیه 2009. مجموعه مقالات: تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، مدیریت سیستم های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب ECOOP 2009 – Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ECOOP 2009 - برنامه نویسی شی گرا: بیست و سومین کنفرانس اروپا ، جنوا ، ایتالیا ، 6-10 ژوئیه 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ECOOP 2009 - برنامه نویسی شی گرا: بیست و سومین کنفرانس اروپا ، جنوا ، ایتالیا ، 6-10 ژوئیه 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و سومین کنفرانس اروپایی برنامه نویسی شی گرا، ECOOP 2009، در جنوا، ایتالیا، در ژوئیه 2009 برگزار شد.
25 مقاله کامل اصلاح شده ارائه شده است. همراه با چکیده 2 سخنرانی دعوت شده و سخنرانی ضیافت ECOOP 2008 به دقت بررسی و از بین 117 مورد ارسالی انتخاب شد. این مقالات موضوعاتی مانند انواع، چارچوب ها و مدل سازی را پوشش می دهند. نام مستعار و معاملات؛ کنترل دسترسی و تأیید؛ مدولار بودن؛ استخراج و استخراج؛ بازسازی مجدد همزمانی، استثناها و مقداردهی اولیه. و همزمانی و توزیع.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 23rd European Conference on Object-Oriented Programming, ECOOP 2009, held in Genoa, Italy, in July 2009.
The 25 revised full papers, presented together with the abstracts of 2 invited talks and the ECOOP 2008 banquet speech were carefully reviewed and selected from a total of 117 submissions. The papers cover topics such as types, frameworks and modeling; aliasing and transactions; access control and verification; modularity; mining and extracting; refactoring; concurrency, exceptions and initialization; and concurrency and distribution.
فهرست مطالب
Front Matter....Pages -
Classes, Jim, But Not as We Know Them — Type Classes in Haskell: What, Why, and Whither....Pages 1-1
Coinductive Type Systems for Object-Oriented Languages....Pages 2-26
Checking Framework Interactions with Relationships....Pages 27-51
COPE - Automating Coupled Evolution of Metamodels and Models....Pages 52-76
Making Sense of Large Heaps....Pages 77-97
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis....Pages 98-122
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems....Pages 123-147
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic....Pages 148-172
Fine-Grained Access Control with Object-Sensitive Roles....Pages 173-194
Practical API Protocol Checking with Access Permissions....Pages 195-219
Adding State and Visibility Control to Traits Using Lexical Nesting....Pages 220-243
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes....Pages 244-268
Modular Visitor Components....Pages 269-293
Debugging Method Names....Pages 294-317
MAPO: Mining and Recommending API Usage Patterns....Pages 318-343
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates....Pages 344-368
Stepping Stones over the Refactoring Rubicon....Pages 369-393
Program Metamorphosis....Pages 394-418
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility....Pages 419-443
Java on 1000 Cores: Tales of Hardware/Software Co-design....Pages 444-444
Loci : Simple Thread-Locality for Java....Pages 445-469
Failboxes: Provably Safe Exception Handling....Pages 470-494
Are We Ready for a Safer Construction Environment?....Pages 495-519
Type-Based Object Immutability with Flexible Initialization....Pages 520-545
Security Monitor Inlining for Multithreaded Java....Pages 546-569
EventJava: An Extension of Java for Event Correlation....Pages 570-594
Remote Batch Invocation for Compositional Object Services....Pages 595-617
Introduction to: The Myths of Object-Orientation....Pages 618-618
The Myths of Object-Orientation....Pages 619-629
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Advances in Computers, Vol. 3
دانلود کتاب The 2007-2012 World Outlook for Computer Microchips
دانلود کتاب Spaces, Spatiality and Technology (Computer Supported Cooperative Work)
دانلود کتاب Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ISAT 2015 – Part II
دانلود کتاب Nanotechnology
دانلود کتاب The Book Of VMware - The Complete Guide To VMware Workstation
دانلود کتاب PeopleWare. Productive Projects and Teams
دانلود کتاب Music, Cognition, and Computerized Sound: An Introduction to Psychoacoustics
