دانلود کتاب ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
کتاب ECOOP 2003 – برنامه نویسی شی گرا: هفدهمین کنفرانس اروپایی، دارمشتات، آلمان، 21-25 جولای، 2003. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب ECOOP 2003 – برنامه نویسی شی گرا: هفدهمین کنفرانس اروپایی، دارمشتات، آلمان، 21-25 جولای، 2003. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
نام کتاب : ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : ECOOP 2003 – برنامه نویسی شی گرا: هفدهمین کنفرانس اروپایی، دارمشتات، آلمان، 21-25 جولای، 2003. مجموعه مقالات
سری : Lecture Notes in Computer Science 2743
نویسندگان : Martín Abadi (auth.), Luca Cardelli (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2003
تعداد صفحات : 541
ISBN (شابک) : 3540405313 , 9783540405313
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری هفدهمین کنفرانس اروپایی برنامه نویسی شی گرا، ECOOP 2003، در دارمشتات، آلمان در ژوئیه 2003 است.
18 مقاله کامل اصلاح شده همراه با 2 مقاله دعوت شده ارائه شده است. از بین 88 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات در بخش های موضوعی در مورد جنبه ها و مؤلفه ها سازماندهی شده اند. الگوها، معماری و همکاری؛ انواع؛ مدل سازی؛ الگوریتم ها، بهینه سازی و زمان اجرا؛ و تکنیک ها و روش های رسمی.
فهرست مطالب :
Front Matter....Pages -
Built-in Object Security....Pages 1-1
Modeling Crosscutting in Aspect-Oriented Mechanisms....Pages 2-28
Spontaneous Container Services....Pages 29-53
A Calculus of Untyped Aspect-Oriented Programs....Pages 54-73
Language Support for Connector Abstractions....Pages 74-102
Walkabout Revisited: The Runabout....Pages 103-125
MX: Mobile Object Exchange for Collaborative Applications....Pages 126-150
Regular Object Types....Pages 151-175
External Uniqueness Is Unique Enough....Pages 176-200
A Nominal Theory of Objects with Dependent Types....Pages 201-224
Open APIs for Embedded Security....Pages 225-247
Traits: Composable Units of Behaviour....Pages 248-274
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information....Pages 275-302
Higher-Order Hierarchies....Pages 303-328
Two-Dimensional Bi-directional Object Layout....Pages 329-350
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications....Pages 351-377
Java Subtype Tests in Real-Time....Pages 378-404
Growing XQuery....Pages 405-430
Discovering Algebraic Specifications from Java Classes....Pages 431-456
A Refinement Algebra for Object-Oriented Programming....Pages 457-482
Object-Oriented Reading Techniques for Inspection of UML Models – An Industrial Experiment....Pages 483-500
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003.
The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical sections on aspects and components; patterns, architecture, and collaboration; types; modeling; algorithms, optimization, and runtimes; and formal techniques and methodology.
پست ها تصادفی