دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب An algebraic approach to compiler design
دانلود کتاب رویکرد جبری به طراحی کامپایلر
مشخصات کتاب
An algebraic approach to compiler design
ویرایش:
نویسندگان: Augusto Sampaio
سری: AMAST series in computing, vol. 4
ISBN (شابک) : 9810223919, 9789810223915
ناشر: World Scientific
سال نشر: 1997
تعداد صفحات: 197
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب An algebraic approach to compiler design به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکرد جبری به طراحی کامپایلر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکرد جبری به طراحی کامپایلر
این کتاب به بررسی طراحی کامپایلرها برای زبان‌های رویه‌ای بر اساس قوانین جبری که این زبان‌ها رعایت می‌کنند می‌پردازد. استراتژی خاص اتخاذ شده این است که یک برنامه منبع دلخواه را به یک شکل عادی عمومی کاهش دهد، که قادر به نمایش یک ماشین هدف دلخواه باشد. این امر با یک سری قضایای کاهش شکل عادی به دست می آید که به صورت جبری از قوانین اساسی تر اثبات شده اند. شکل عادی و قضایای کاهش مربوطه را می توان برای طراحی کامپایلر برای ماشین های هدف مجزا مثال زد. این امر تازگی اصلی رویکرد نویسنده به گردآوری را تشکیل می دهد، همراه با این واقعیت که کل فرآیند در چارچوب معنایی واحد و یکسانی از یک زبان رویه ای و قوانین جبری آن رسمیت می یابد. علاوه بر این، با مکانیزه کردن رویکرد با استفاده از سیستم بازنویسی اصطلاح OBJ3 نشان داده شده است که یک کامپایلر نمونه اولیه به عنوان محصول جانبی اثبات درستی خود توسعه داده شده است.
توضیحاتی درمورد کتاب به خارجی
This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is achieved by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilation, together with the fact that the entire process is formalised within a single and uniform semantic framework of a procedural language and its algberaic laws. Furthermore, by mechanising the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب the hun - scourge kf god 375-565
دانلود کتاب What Do Druids Believe? (What Do We Believe?)
