کتاب الکترونیکی

نظریه های زبان های برنامه نویسی

Theories of Programming Languages

دانلود کتاب Theories of Programming Languages (به فارسی: نظریه های زبان های برنامه نویسی) نوشته شده توسط «John C. Reynolds»


اطلاعات کتاب نظریه های زبان های برنامه نویسی

موضوع اصلی: برنامه نويسي

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: John C. Reynolds

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2009

تعداد صفحه: 513

حجم کتاب: 5 مگابایت

کد کتاب: 0521106974 , 9780521106979 , 9780521594141 , 0521594146 , 9780511626364

نوبت چاپ: 1

توضیحات کتاب نظریه های زبان های برنامه نویسی

این کتاب به ویژگی های مختلف زبان های برنامه نویسی از دیدگاه ریاضی می پردازد. با استفاده از مفاهیم حافظه مشترک و مبتنی بر کانال، معنایی چیزها را از زبان امری ساده گرفته تا عدم موفقیت در مسائل همزمان مورد بحث قرار می دهد. این کتاب خوبی است تا در مورد بسیاری از این مفاهیم ایده بگیرید، اگر از ریاضیات درگیر دوری کنید. اگر بتوانید ریاضیات را قورت دهید، می‌توانید نسبتاً سریع به معنایی برای سیستم‌های مختلف برسید. من کتاب معناشناسی وینسکل را خوانده ام. من احساس می کنم این کتاب در مقایسه با کتاب وینسکل از همه چیزهای ریاضی فاصله دارد. بهتر است بعد از این کتاب به کتاب وینسکلز مراجعه شود.


The book addresses various features of programming languages from a mathematical viewpoint. It discusses semantics of things from simple imperative language to failure to concurrency issues using channel based and shared memory concepts. It is a good book to get an idea about most of this concepts if you do away with the math involved. If you can swallow the math you will be able to come up with semantics for various systems fairly quickly. I have read the Winskel’s book on semantics. I feel this book is a touch away from all the math stuff compared to Winskel’s book. It would be better to refer to Winskels book after this book.

دانلود کتاب «نظریه های زبان های برنامه نویسی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.