مشخصات کتاب

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 مگابایت 

در صورت تبدیل فایل کتاب 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب My Windows 10 (includes video and Content Update Program)

دانلود کتاب Pediatric Sedation Outside of the Operating Room: A Multispecialty International Collaboration

دانلود کتاب Scrooge’s Cryptic Carol: Visions of Energy, Time, and Quantum Nature

دانلود کتاب Urban Sustainability Transitions : Australian Cases- International Perspectives

دانلود کتاب 初級日本語 げんき １【第２版】 GENKI: An Integrated Course in Elementary Japanese Vol. 1