دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Semantics engineering with PLT Redex
دانلود کتاب مهندسی معنایی با PLT Redex
مشخصات کتاب
Semantics engineering with PLT Redex
ویرایش: 1st نویسندگان: Matthias Felleisen, Robert Bruce Findler, Matthew Flatt سری: ISBN (شابک) : 0262062755, 9780262062756 ناشر: The MIT Press سال نشر: 2009 تعداد صفحات: 516 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Semantics engineering with PLT Redex به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی معنایی با PLT Redex نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی معنایی با PLT Redex
این متن اولین ارائه جامع معناشناسی کاهش در یک جلد است. همچنین اولین مجموعه ابزار قابل اعتماد و با استفاده آسان را برای چنین اشکالی از معناشناسی معرفی می کند. مهندسان نرم‌افزار مدت‌هاست که می‌دانند پشتیبانی خودکار ابزار برای نمونه‌سازی سریع و مدل‌سازی حیاتی است، و این کتاب برای مهندس معناشناسی فعال (دانشجوی فارغ‌التحصیل یا طراح حرفه‌ای زبان) است. این کتاب همراه با مجموعه ابزار نمونه سازی برای توسعه، کاوش، آزمایش، اشکال زدایی و انتشار مدل های معنایی زبان های برنامه نویسی است. با PLT Redex، معناشناسان می‌توانند مدل‌هایی را به‌عنوان گرامر و مدل‌های کاهشی در رایانه‌های خود با سهولت کاغذ و مداد فرموله کنند. متن ابتدا چارچوبی را برای فرمول‌بندی مدل‌های زبان، با تمرکز بر محاسبات معادله و ماشین‌های انتزاعی ارائه می‌کند، سپس PLT Redex، مجموعه‌ای از ابزارهای نرم‌افزاری برای بیان این مدل‌ها به عنوان مدل‌های PLT Redex را معرفی می‌کند. در نهایت، کارشناسان طیف وسیعی از مدل های فرموله شده در Redex را توصیف می کنند. PLT Redex با اجرای طرح PLT ارائه می شود که به صورت رایگان در http://www.plt-scheme.org/ در دسترس است. خوانندگان می‌توانند نرم‌افزار را دانلود کرده و در حین کار با Redex آزمایش کنند.
توضیحاتی درمورد کتاب به خارجی
This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http://www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book.
