ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

دانلود کتاب جنبه های تئوری برنامه ریزی شی گرا: انواع، معناشناسی و طراحی زبان

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

مشخصات کتاب

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

دسته بندی: برنامه نویسی: زبانهای مدل سازی
ویرایش:  
نویسندگان: ,   
سری: Foundations of Computing 
ISBN (شابک) : 026207155X, 9780262071550 
ناشر: The MIT Press 
سال نشر: 1994 
تعداد صفحات: 562 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 53,000



کلمات کلیدی مربوط به کتاب جنبه های تئوری برنامه ریزی شی گرا: انواع، معناشناسی و طراحی زبان: علوم و مهندسی کامپیوتر، مدل سازی شی (UML)



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 11


در صورت تبدیل فایل کتاب Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب جنبه های تئوری برنامه ریزی شی گرا: انواع، معناشناسی و طراحی زبان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب جنبه های تئوری برنامه ریزی شی گرا: انواع، معناشناسی و طراحی زبان



اگرچه تئوری زبان های برنامه نویسی شی گرا هنوز کامل نشده است، این کتاب مهم ترین کمک ها را در توسعه آن تا به امروز گرد هم آورده است، به ویژه بر این موضوع که چگونه پیشرفت در سیستم های نوع و مدل های معنایی می تواند به طراحی زبان های جدید کمک کند. این پانزده فصل به پنج بخش تقسیم می‌شود: اشیا و انواع فرعی، استنتاج نوع، انسجام، حساب‌های رکورد و وراثت. فصل‌ها تقریباً به‌منظور افزایش پیچیدگی ساختارهای زبان برنامه‌نویسی که در نظر می‌گیرند سازمان‌دهی شده‌اند - با تغییرات در زبان‌های پاسکال و الگول‌مانند، توسعه نظریه مدل‌های اشیاء ضبط مصور، و پایان دادن به دستورالعمل‌های تحقیقاتی برای ایجاد یک نظریه جامع‌تر. از زبان‌های برنامه‌نویسی شی‌گرا. بخش اول شباهت‌ها و تفاوت‌های بین \"اشیاء\" و انواع داده‌های انتزاعی به سبک جبری و مفهوم بنیادی یک نوع فرعی را مورد بحث قرار می‌دهد. بخش های II-IV مربوط به \"مدل رکورد\" زبان های شی گرا هستند. به طور خاص، این فصل‌ها در مورد معناشناسی ایستا و پویا زبان‌ها با مدل‌های شی ساده که شامل یک نوع یا سلسله‌مراتب کلاس هستند، اما آنچه را که اغلب اتصال پویا نامیده می‌شود به صراحت ارائه نمی‌دهند. بخش پنجم، برنامه‌های افزودنی و اصلاحاتی را برای ثبت مدل‌های شی در نظر می‌گیرد، و به پیچیدگی کامل زبان‌های شی‌گرا نزدیک‌تر می‌شود. کارل ای. جان سی میچل استاد گروه علوم کامپیوتر در دانشگاه استنفورد است.


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

Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.The fifteen chapters are divided into five parts: Objects and Subtypes, Type Inference, Coherence, Record Calculi, and Inheritance. The chapters are organized approximately in order of increasing complexity of the programming language constructs they consider - beginning with variations on Pascal- and Algol-like languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages.Part I discusses the similarities and differences between "objects" and algebraic-style abstract data types, and the fundamental concept of a subtype. Parts II-IV are concerned with the "record model" of object-oriented languages. Specifically, these chapters discuss static and dynamic semantics of languages with simple object models that include a type or class hierarchy but do not explicitly provide what is often called dynamic binding. Part V considers extensions and modifications to record object models, moving closer to the full complexity of practical object-oriented languages.Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania. John C. Mitchell is Professor in the Department of Computer Science at Stanford University.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی