دانلود کتاب Warren’s abstract machine.A tutorial reconstruction
49,000 تومان
ماشین انتزاعی وارن. بازسازی آموزشی
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | The MIT Press |
| تعداد صفحه | 144 |
| حجم فایل | 505 کیلوبایت |
| کد کتاب | 9780262510585,0262510588 |
| نویسنده | Hassan Aït-Kaci |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1991 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ماشین انتزاعی وارن. بازسازی آموزشی
این آموزش یکی از مهمترین جنبههای برنامهنویسی منطقی، یعنی ماشین انتزاعی وارن یا WAM را آشکار میکند. ساخت گام به گام نویسنده از WAM ویژگی هایی را به صورت تدریجی اضافه می کند و جنبه های پیچیده طراحی را روشن می کند و اولین مطالعه دقیق WAM را از زمان طراحی آن در سال 1983 ارائه می دهد.
WAM که توسط دیوید اچ دی وارن توسعه داده شده است، یک کامپیوتر انتزاعی (غیر فیزیکی) است که به گردآوری و پیاده سازی زبان برنامه نویسی Prolog کمک می کند و تکنیک هایی را برای کامپایل و بهینه سازی محاسبات نمادین ارائه می دهد که می تواند فراتر از Prolog تعمیم یابد. اگرچه مزایای طراحی WAM به طور گسترده پذیرفته شده است، تعداد کمی توانسته اند به WAM نفوذ کنند. این مقدمه شفاف، ماشینهای انتزاعی مجزا را برای هر بخش از طرح مجزا از نظر مفهومی تعریف میکند و آنها را اصلاح میکند، در نهایت آنها را به هم میچسباند تا یک WAM بسازد. یک شاخص تمام مفاهیم مهم مورد استفاده در WAM را نشان می دهد. فرض بر این است که خوانندگان درک روشنی از معناشناسی عملیاتی Prolog، به ویژه، یکپارچه سازی و عقب نشینی دارند، اما خلاصه ای کوتاه از مفاهیم Prolog لازم ارائه شده است.
مطالب: مقدمه. اتحاد – خالص و ساده. وضوح مسطح پرولوگ. بهینه سازی طراحی نتیجه. ضمیمه ها
Warren’s abstract machine.A tutorial reconstruction
This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author’s step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983.
Developed by David H. D. Warren, the WAM is an abstract (nonphysical) computer that aids in the compilation and implementation of the Prolog programming language and offers techniques for compiling and optimizing symbolic computing that can be generalized beyond Prolog. Although the benefits of the WAM design have been widely accepted, few have been able to penetrate the WAM. This lucid introduction defines separate abstract machines for each conceptually separate part of the design and refines them, finally stitching them together to make a WAM. An index presents all of the critical concepts used in the WAM. It is assumed that readers have a clear understanding of the operational semantics of Prolog, in particular, of unification and backtracking, but a brief summary of the necessary Prolog notions is provided.
Contents: Introduction. Unification—Pure and Simple. Flat Resolution. Prolog. Optimizing the Design. Conclusion. Appendixes.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.