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

تعریف استاندارد ML – تجدید نظر شده

The Definition of Standard ML - Revised

دانلود کتاب The Definition of Standard ML – Revised (به فارسی: تعریف استاندارد ML – تجدید نظر شده) نوشته شده توسط «Robin Milner – Mads Tofte – Robert Harper – David MacQueen»

اطلاعات کتاب تعریف استاندارد ML – تجدید نظر شده

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

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

ناشر: The MIT Press

نویسنده: Robin Milner – Mads Tofte – Robert Harper – David MacQueen

زبان: English

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

سال انتشار: 1997

تعداد صفحه: 128

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

کد کتاب: 9780262631815 , 0262631814

نوبت چاپ: Rev Sub

توضیحات کتاب تعریف استاندارد ML – تجدید نظر شده

این کتاب درسی برای زبان های برنامه نویسی در همه جا است. تعریف زبان مختصر، دقیق و دقیق است. هر کسی که تلاش کرده است به اسنادی مانند استاندارد ANSI C یا C++ نفوذ کند با صدها صفحه زبان مبهم و گیج کننده مواجه می شود که استدلال رسمی در مورد آن تقریباً غیرممکن است. در مقابل، این کتاب نحو و معناشناسی زبان را به سبکی دقیق و ریاضی توصیف می‌کند، اجرای واقعی زبان را ساده می‌کند، و همچنین تعریفی قابل استفاده برای استدلال درباره درستی اجراها ارائه می‌کند. این نمونه ای از نحوه انجام تعاریف زبان است.

This book is a lesson to programming languages everywhere. The language definition is succinct, accurate, and to the point. Anyone who has attempted to penetrate such documents as the ANSI C or C++ standard is met with hundreds of pages of ambiguous, confusing language, about which formal reasoning is next to impossible. By contrast, this book describes the language syntax and semantics in a precise, mathematical style, making actual implementation of the language straightforward, as well as providing a usable definition for reasoning about the correctness of implementations. This is an example of how language definitions should be done.

دانلود کتاب «تعریف استاندارد ML – تجدید نظر شده»

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