دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Foundations for Programming Languages
دانلود کتاب مبانی عملی برای زبان های برنامه نویسی
مشخصات کتاب
Practical Foundations for Programming Languages
دسته بندی: برنامه نويسي ویرایش: نویسندگان: Robert Harper سری: ISBN (شابک) : 1107029570, 9781107029576 ناشر: Cambridge University Press سال نشر: 2012 تعداد صفحات: 492 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب مبانی عملی برای زبان های برنامه نویسی: انفورماتیک و مهندسی کامپیوتر، انفورماتیک (برنامه نویسی)
در صورت تبدیل فایل کتاب Practical Foundations for Programming Languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی عملی برای زبان های برنامه نویسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی عملی برای زبان های برنامه نویسی
انواع، اصل سازماندهی اصلی تئوری زبان های برنامه نویسی هستند. در این کتاب ابتکاری، پروفسور رابرت هارپر با استفاده از تئوری نوع، دیدگاه تازه ای را در مورد مبانی این زبان ها ارائه می دهد. در حالی که بیشتر کتاب‌های درسی در این زمینه بر طبقه‌بندی تأکید دارند، هارپر در عوض بر ژنتیک تأکید می‌کند و بلوک‌های سازنده‌ای را که همه زبان‌های برنامه‌نویسی از آن ساخته شده‌اند، بررسی می‌کند. ویژگی های زبان تجلی ساختار نوع هستند. نحو یک زبان توسط ساختارهایی که انواع آن را تعریف می کنند، کنترل می شود و معنای آن توسط تعاملات بین آن سازه ها تعیین می شود. استحکام یک طراحی زبان - عدم وجود برنامه های بد تعریف شده - به طور طبیعی به دنبال دارد. ارائه پروفسور هارپر به طور همزمان دقیق و شهودی است و تنها بر ریاضیات ابتدایی تکیه دارد. چارچوبی که او ترسیم می‌کند به آسانی به طیف گسترده‌ای از مفاهیم زبانی تبدیل می‌شود و مستقیماً برای اجرای آنها قابل استفاده است. نتیجه یک مقدمه شفاف برای تئوری برنامه نویسی است که هم در دسترس و هم کاربردی است
توضیحاتی درمورد کتاب به خارجی
Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design - the absence of ill-defined programs - follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on only elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical
نظرات کاربران
کتاب های مرتبط
دانلود کتاب 24 Patterns for Clean Code. Techniques for Faster, Safer Code with Minimal Debugging
دانلود کتاب OCP Oracle Certified Professional Java SE 11 Programmer I Study Guide: Exam 1Z0-815
دانلود کتاب Elemental Design Patterns
دانلود کتاب Objektorientierte Datenbankprogrammierung: Datenbankentwicklung unter Windows mit C++ und der Object Windows Library
دانلود کتاب Deploying Virtual Private Networks With Microsoft Windows Server 2003
دانلود کتاب Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
دانلود کتاب Visual Basic 2005 Instant Results
