دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Definition of Standard ML - Revised
دانلود کتاب تعریف استاندارد ML - بازبینی شده
مشخصات کتاب
The Definition of Standard ML - Revised
ویرایش: revised edition نویسندگان: Milner R., et al. سری: ISBN (شابک) : 0262631814 ناشر: MIT سال نشر: 1997 تعداد صفحات: 118 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب The Definition of Standard ML - Revised به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تعریف استاندارد ML - بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تعریف استاندارد ML - بازبینی شده
Standard ML یک زبان برنامه نویسی همه منظوره است که برای پروژه های بزرگ طراحی شده است. این کتاب یک تعریف رسمی از استاندارد ML را به نفع همه کسانی که با این زبان مرتبط هستند، از جمله کاربران و اجراکنندگان ارائه می دهد. از آنجایی که برنامه های کامپیوتری به طور فزاینده ای نیاز به مقاومت در برابر تجزیه و تحلیل دقیق دارند، بسیار مهمتر است که زبانی که در آن نوشته شده است با دقت کامل تعریف شود. یکی از اهداف تعریف زبان ایجاد نظریه ای از معانی است که بر اساس آن درک معانی خاص برنامه ها ممکن است استراحت کنند. برای تعریف صحیح یک زبان برنامه نویسی، لازم است از نوعی نمادگذاری غیر از زبان برنامه نویسی استفاده شود. با توجه به دقت، نمادگذاری ریاضی یک انتخاب واضح است. نویسندگان اشیاء معنایی خود را با نمادهای ریاضی تعریف کرده‌اند که کاملاً مستقل از استاندارد ML است. در تعریف یک زبان نیز باید قوانین ارزیابی را دقیقاً تعریف کرد - یعنی تعریف کرد که از ارزیابی هر عبارتی از زبان چه معنایی حاصل می‌شود. بنابراین این تعریف یک مشخصه رسمی برای یک پیاده سازی است. نویسندگان به اندازه کافی نظریه خود را توسعه داده اند تا قواعد ارزیابی آنها را معنا کند. تعریف استاندارد ML نقطه مرجع اساسی برای استاندارد ML است. از زمان انتشار آن در سال 1990، فناوری پیاده سازی زبان به شدت پیشرفت کرده و تعداد کاربران افزایش یافته است. نسخه اصلاح شده شامل تعدادی ویژگی جدید است، ویژگی های کم استفاده را حذف می کند و اشتباهات تعریف را تصحیح می کند.
توضیحاتی درمورد کتاب به خارجی
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor.One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML.In defining a language one must also define the rules of evaluation precisely--that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation.The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition.
