![دانلود کتاب Communicating and mobile systems: the [symbol for pi]-calculus](https://balyan.ir/wp-content/uploads/2023/03/0109/01fd44890a4d2e58c5935b422bc13883-150x150.jpg)
دانلود کتاب Commentary on Standard ML
49,000 تومان
تفسیر استاندارد ML
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | MIT Press |
| تعداد صفحه | 160 |
| حجم فایل | 708 کیلوبایت |
| کد کتاب | 9780262132718,9780262631372,0262132710,0262631377 |
| نویسنده | Mads Tofte, Robin Milner |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1991 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تفسیر استاندارد ML
شرح کامل ریاضی زبان برنامه نویسی تابعی ML در تعریف میلنر، تافت و هارپر از استاندارد ML ارائه شده است. این جلد همراه به طور عمیق معنی یا نظریه معنایی ML را توضیح می دهد. این دو جلد با هم، درک کاملی از برجستهترین گروه جدیدی از زبانهای برنامهنویسی کاربردی که شامل Haskell و Scheme هستند، ارائه میکنند. نویسندگان برای درک آسان تر تعریف، نه تنها توضیح می دهند که ML چیست، بلکه توضیح می دهند که چرا آن چیست. آنها برخی از تحلیلهای دقیقی را ارائه میکنند که از تعریف پشتیبانی میکند، شامل مجموعهای از قضایا که ویژگیهای مهم زبان را بیان میکنند. تفسیر همچنین یک سند کاری است که روشی را نشان می دهد که نظریه تخصصی ML می تواند به تحقیقات گسترده تر در مورد طراحی و معناشناسی زبان کمک کند. مطالب: پیشگفتار. اجرای یک برنامه ساده معناشناسی پویا برای هسته. معناشناسی پویا برای ماژول ها. معناشناسی ایستا برای هسته. نوع اعلامیه ها و اصالت. معناشناسی ایستا برای ماژول ها تطبیق امضا. شرح کارکردها. اشیاء و شواهد معنایی قابل قبول. تشریح عبارات امضا. امضاهای اصلی ضمائم: اثبات اصالت. وضعیت شناسه راه حل های تمرین اشتباهات و ابهامات.
Commentary on Standard ML
The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper’s Definition of Standard ML. This companion volume explains in depth the meaning, or semantic theory, of ML. Together, the two volumes provide a complete understanding of the most prominent of a new group of functional programming languages that includes Haskell and Scheme. In making the Definition easier to understand, the authors not only explain what ML is, they explain why it is. They present some of the rigorous analysis that supports the Definition including a selection of theorems that express important properties of the language. The Commentary is also a working document that shows the way in which the specialized theory of ML can contribute to broader research on language design and semantics. Contents: Preface. Executing a Simple Program. Dynamic Semantics for the Core. Dynamic Semantics for the Modules. Static Semantics for the Core. Type Declarations and Principality. Static Semantics for the Modules. Signature Matching. Elaboration of Functors. Admissible Semantic Objects and Proofs. Elaboration of Signature Expressions. Principal Signatures. Appendixes: Proof of Principality. Identifier Status. Solutions to Exercises. Mistakes and Ambiguities.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.