دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
دانلود کتاب بی اعتبار کردن در برنامه نویسی شی گرا: انواع ، تحلیل و تأیید صحت
مشخصات کتاب
Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
ویرایش: نویسندگان: Dave Clarke, James Noble, Tobias Wrigstad سری: ISBN (شابک) : 9783642369452 ناشر: Springer سال نشر: 2013 تعداد صفحات: 521 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 28,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Aliasing in Object-Oriented Programming: Types, Analysis, and Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بی اعتبار کردن در برنامه نویسی شی گرا: انواع ، تحلیل و تأیید صحت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بی اعتبار کردن در برنامه نویسی شی گرا: انواع ، تحلیل و تأیید صحت
این کتاب بررسی پیشرفته‌ترین تکنیک‌های مقابله با نام مستعار در برنامه‌نویسی شی‌گرا را ارائه می‌کند. این بیستمین سالگرد انتشار مقاله کنوانسیون ژنو در مورد درمان نام مستعار شیء توسط جان هاگ، داگ لی، آلن ویلز، دنیس د شامپو و ریچارد هولت است. 22 مقاله اصلاح شده به دقت بررسی شدند تا از بالاترین کیفیت اطمینان حاصل شود. مشارکت ها در بخش های موضوعی در مورد کنوانسیون ژنو، مالکیت، همزمانی، تجزیه و تحلیل نام مستعار، اثرات کنترل، تأیید، زبان های برنامه نویسی، و چشم انداز سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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 -
