دانلود کتاب Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
کتاب نام مستعار در برنامه نویسی شی گرا: انواع، تجزیه و تحلیل و تأیید نسخه زبان اصلی
دانلود کتاب نام مستعار در برنامه نویسی شی گرا: انواع، تجزیه و تحلیل و تأیید بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
نام کتاب : Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
عنوان ترجمه شده به فارسی : نام مستعار در برنامه نویسی شی گرا: انواع، تجزیه و تحلیل و تأیید
سری :
نویسندگان : Dave Clarke, James Noble, Tobias Wrigstad
ناشر : Springer
سال نشر : 2013
تعداد صفحات : 521
ISBN (شابک) : 9783642369452
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب بررسی پیشرفته‌ترین تکنیک‌های مقابله با نام مستعار در برنامه‌نویسی شی‌گرا را ارائه می‌کند. این بیستمین سالگرد انتشار مقاله کنوانسیون ژنو در مورد درمان نام مستعار شیء توسط جان هاگ، داگ لی، آلن ویلز، دنیس د شامپو و ریچارد هولت است. 22 مقاله اصلاح شده به دقت بررسی شدند تا از بالاترین کیفیت اطمینان حاصل شود. مشارکت ها در بخش های موضوعی در مورد کنوانسیون ژنو، مالکیت، همزمانی، تجزیه و تحلیل نام مستعار، اثرات کنترل، تأیید، زبان های برنامه نویسی، و چشم انداز سازماندهی شده اند.
فهرست مطالب :
Front Matter....Pages -
Beyond the Geneva Convention on the Treatment of Object Aliasing....Pages 1-6
The Geneva Convention on the Treatment of Object Aliasing....Pages 7-14
Ownership Types: A Survey....Pages 15-58
Notions of Aliasing and Ownership....Pages 59-83
Understanding Ownership Types with Dependent Types....Pages 84-108
Object Graphs with Ownership Domains: An Empirical Study....Pages 109-155
Alias Control for Deterministic Parallelism....Pages 156-195
Alias Analysis for Object-Oriented Programs....Pages 196-232
Immutability....Pages 233-269
Fractional Permissions....Pages 270-288
Object Ownership in Program Verification....Pages 289-318
State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings....Pages 319-365
Separation Logic for Object-Oriented Programming....Pages 366-406
VeriFast for Java: A Tutorial....Pages 407-442
Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy?....Pages 443-470
Location Types for Safe Programming with Near and Far References....Pages 471-500
The Future of Aliasing in Parallel Programming....Pages 501-502
Aliasing Visions: Ownership and Location....Pages 503-504
Alias Analysis: Beyond the Code....Pages 505-506
How, Then, Should We Program?....Pages 507-508
A Retrospective on Aliasing Type Systems: 2012-2022....Pages 509-511
Structured Aliasing....Pages 512-513
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.
پست ها تصادفی