خرید و دانلود نسخه کامل کتاب Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

توضیحاتی در مورد کتاب



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