دانلود کتاب ECOOP 2009 – Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
کتاب ECOOP 2009 – برنامه نویسی شی گرا: بیست و سومین کنفرانس اروپایی، جنوا، ایتالیا، 6-10 ژوئیه، 2009. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب ECOOP 2009 – برنامه نویسی شی گرا: بیست و سومین کنفرانس اروپایی، جنوا، ایتالیا، 6-10 ژوئیه، 2009. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب ECOOP 2009 – Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
نام کتاب : ECOOP 2009 – Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : ECOOP 2009 – برنامه نویسی شی گرا: بیست و سومین کنفرانس اروپایی، جنوا، ایتالیا، 6-10 ژوئیه، 2009. مجموعه مقالات
سری : Lecture Notes in Computer Science 5653 : Programming and Software Engineering
نویسندگان : Simon Peyton Jones (auth.), Sophia Drossopoulou (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2009
تعداد صفحات : 644
ISBN (شابک) : 9783642030130 , 3642030130
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 8 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری بیست و سومین کنفرانس اروپایی برنامه نویسی شی گرا، ECOOP 2009، در جنوا، ایتالیا، در ژوئیه 2009 برگزار شد.
25 مقاله کامل اصلاح شده ارائه شده است. همراه با چکیده 2 سخنرانی دعوت شده و سخنرانی ضیافت ECOOP 2008 به دقت بررسی و از بین 117 مورد ارسالی انتخاب شد. این مقالات موضوعاتی مانند انواع، چارچوب ها و مدل سازی را پوشش می دهند. نام مستعار و معاملات؛ کنترل دسترسی و تأیید؛ مدولار بودن؛ استخراج و استخراج؛ بازسازی همزمانی، استثناها و مقداردهی اولیه. و همزمانی و توزیع.
فهرست مطالب :
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 -
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی