دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Definition of Standard ML
دانلود کتاب تعریف استاندارد ML
مشخصات کتاب
The Definition of Standard ML
ویرایش: 1ed نویسندگان: Milner R., Tofte M., Harper R. سری: ISBN (شابک) : 9780262132558, 9780262132558 ناشر: MIT سال نشر: 1990 تعداد صفحات: 116 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 679 کیلوبایت
قیمت کتاب (تومان) : 66,000
در صورت تبدیل فایل کتاب The Definition of Standard ML به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تعریف استاندارد ML نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تعریف استاندارد ML
این کتاب تعریف رسمی و رسمی زبان برنامه نویسی ML از جمله قواعد دستور زبان و معناشناسی ایستا و پویا را ارائه می دهد. ML توسعه یافته ترین و برجسته ترین گروه جدیدی از زبان های برنامه نویسی کاربردی است. در لبه برش علوم کامپیوتر نظری، ML ایدههای تایپ ایستا و چندشکلی را تجسم میدهد و همچنین تعدادی ایده جدید در طراحی زبانهای برنامهنویسی ارائه کرده است. محتویات: نحو هسته. نحو ماژول ها معناشناسی ایستا برای هسته. معناشناسی ایستا برای ماژول ها. معناشناسی پویا برای ماژول ها. برنامه ها. ضمیمه ها: فرم های مشتق شده. گرامر کامل پایه استاتیک اولیه مبنای دینامیکی اولیه توسعه ML.
توضیحاتی درمورد کتاب به خارجی
This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. ML is the most well-developed and prominent of a new group of functional programming languages. On the cutting edge of theoretical computer science, ML embodies the ideas of static typing and polymorphism and has also contributed a number of novel ideas to the design of programming languages. Contents: Syntax of the Core. Syntax of Modules. Static Semantics for the Core. Static Semantics for Modules. Dynamic Semantics for Modules. Programs. Appendixes: Derived Forms. Full Grammar. The Initial Static Basis. The Initial Dynamic Basis. The Development of ML.
