مشخصات کتاب

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ویرایش: 1 
نویسندگان: José Meseguer,  Carolyn Talcott (auth.),  Boris Magnusson (eds.)  
سری: Lecture Notes in Computer Science 2374 
ISBN (شابک) : 9783540437598, 3540437592 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2002 
تعداد صفحات: 648 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب ECOOP 2002 — برنامه نویسی شی گرا: شانزدهمین کنفرانس اروپایی مالاگا، اسپانیا، 10-14 ژوئن، 2002 مجموعه مقالات: تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، سیستم های اطلاعات کسب و کار

در صورت تبدیل فایل کتاب ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ECOOP 2002 — برنامه نویسی شی گرا: شانزدهمین کنفرانس اروپایی مالاگا، اسپانیا، 10-14 ژوئن، 2002 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ECOOP 2002 — برنامه نویسی شی گرا: شانزدهمین کنفرانس اروپایی مالاگا، اسپانیا، 10-14 ژوئن، 2002 مجموعه مقالات

این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس اروپایی برنامه نویسی شی گرا، ECOOP 2002، در مالاگا، اسپانیا، در ژوئن 2002 برگزار شد.
24 مقاله کامل اصلاح شده ارائه شده همراه با یک مقاله دعوت شده کامل با دقت بررسی و انتخاب شدند. از 96 ارسالی این کتاب بخش‌های موضوعی در زمینه توسعه نرم‌افزار جنبه‌گرا، ماشین‌های مجازی جاوا، سیستم‌های توزیع‌شده، الگوها و معماری‌ها، زبان‌ها، بهینه‌سازی، تئوری و تکنیک‌های رسمی و موارد متفرقه را ارائه می‌دهد.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 16th European Conference on Object-Oriented Programming, ECOOP 2002, held in Malaga, Spain, in June 2002.
The 24 revised full papers presented together with one full invited paper were carefully reviewed and selected from 96 submissions. The book offers topical sections on aspect-oriented software development, Java virtual machines, distributed systems, patterns and architectures, languages, optimization, theory and formal techniques, and miscellaneous.

فهرست مطالب

Semantic Models for Distributed Object Reflection....Pages 1-36
AOP: Does It Make Sense? The Case of Concurrency and Failures....Pages 37-61
Difference-Based Modules: A Class-Independent Module Mechanism....Pages 62-88
Dynamically Composable Collaborations with Delegation Layers....Pages 89-110
Space- and Time-Efficient Implementation of the Java Object Model....Pages 111-132
Atomic Instructions in Java....Pages 133-154
Code Sharing among Virtual Machines....Pages 155-177
J-Orchestra: Automatic Java Application Partitioning....Pages 178-204
Supporting Unanticipated Dynamic Adaptation of Application Behaviour....Pages 205-230
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way....Pages 231-255
Objectively: Components versus Web Services....Pages 256-256
Modular Internet Programming with Cells....Pages 257-280
Lana: An Approach to Programming Autonomous Systems....Pages 281-308
Engineering Event-Based Systems with Scopes....Pages 309-333
Architectural Reasoning in ArchJava....Pages 334-367
Patterns as Signs....Pages 368-391
Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study....Pages 392-414
Modern Concurrency Abstractions for C # ....Pages 415-440
On Variance-Based Subtyping for Parametric Types....Pages 441-469
Type-Safe Prototype-Based Component Evolution....Pages 470-497
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading....Pages 498-524
Type-Safe Method Inlining....Pages 525-544
Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies....Pages 545-561
Semantics-Based Composition of Class Hierarchies....Pages 562-584
Behavioral Compatibility of Self-Typed Theories....Pages 585-608
A Formal Framework for Java Separate Compilation....Pages 609-635

نظرات کاربران

کتاب های تصادفی

دانلود کتاب What is the English We Use? A Course in Practical Stylistics

دانلود کتاب TSR2: Britain's lost bomber

دانلود کتاب Fasting for a Miracle: How God's Power Can Overcome the Impossible

دانلود کتاب Control Systems Engineering: Design and Implementation using Arm Cortex-M Microcontrollers

دانلود کتاب When the World Takes the Wind Out of Your Sails