دانلود کتاب Concepts and Semantics of Programming Languages 2

این کتاب که از دو جلد تشکیل شده، به بررسی سازه‌های نحویِ رایج‌ترین زبان‌های برنامه‌نویسی می‌پردازد و هم‌زمان نگاهی ریاضی به معناشناسی آن‌ها ارائه می‌دهد. همچنین، جنبه‌های مادیِ دخیل در کدنویسی را با دقت و روشنی به تصویر می‌کشد.مفاهیم و معناشناسی زبان‌های برنامه‌نویسی ۲ یک مدل معناشناسیِ بدیع ارائه می‌کند که به‌صورت یکپارچه، همه سازه‌ها و عملگرهای مرتبط با ماژول‌ها و کلاس‌ها را در نظر می‌گیرد؛ از جمله: قابلیت دسترسی، واردکردن (import)، صادرکردن (export)، تعریف‌های دیرهنگام، پارامتردهی بر اساس نوع‌ها و مقدارها، گسترش‌ها و موارد دیگر. این مدل برای مطالعهٔ ماژول‌های آدا (Ada) و اوکامِل (OCaml) و همچنین فایل‌های هدرِ C به کار می‌رود. می‌توان آن را برای مدل‌کردن ویژگی‌های شیء (object) و کلاس‌ها هم به‌کار گرفت و به همین دلیل برای توصیف کلاس‌های جاوا، C++، اوکامِل و پایتون استفاده می‌شود.این کتاب فقط برای دانشجویان و مدرسین علوم کامپیوتر در نظر گرفته نشده است؛ بلکه برنامه‌نویسان باتجربه نیز می‌توانند از آن بهره ببرند. آن‌ها در این کتاب راهنمایی برای خواندن دفترچه‌های مرجع (manuals) و همچنین پایه‌های راستی‌آزمایی برنامه را پیدا خواهند کرد.