دانلود کتاب Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (به فارسی: تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند) نوشته شده توسط «Markus Müller-Olm (auth.)»
اطلاعات کتاب تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Markus Müller-Olm (auth.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 260
حجم کتاب: 2 مگابایت
کد کتاب: 3540634061 , 9783540634065
نوبت چاپ: 1
توضیحات کتاب تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند
این کتاب طراحی تایید شده یک مولد کد را ارائه می‌کند که یک زبان برنامه‌نویسی بی‌درنگ را به یک ریزپردازنده واقعی، Inmos Transputer ترجمه می‌کند. بر خلاف بسیاری از کارهای دیگر در مورد تأیید کامپایلر، و با تأکید خاص بر ماژولار بودن، به طور سیستماتیک صحت ترجمه را تا کد واقعی ماشین پوشش می دهد، که یک ضرورت در حوزه سیستم های حیاتی ایمنی است. چارچوب رسمی ارائه شده و همچنین ایده‌های جدید مهندسی اثبات شده که در تولیدکننده کد تأیید شده گنجانده شده‌اند، به طور کلی برای طراحی نرم‌افزار مرتبط هستند.
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.
دانلود کتاب «تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.