دانلود کتاب Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
49,000 تومان
تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند
| موضوع اصلی | جبر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 260 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540634061,9783540634065 |
| نوبت چاپ | 1 |
| نویسنده | Markus Müller-Olm (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1997 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند
این کتاب طراحی تأیید شده یک مولد کد را ارائه میکند که یک زبان برنامهنویسی بیدرنگ را به یک ریزپردازنده واقعی، 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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.