معماری برای کاهش گراف ترکیبی ۲۰۱۴
An Architecture for Combinator Graph Reduction 2014

معماری برای کاهش گراف ترکیبی، به بررسی روش‌های موجود برای ارزیابی برنامه‌های تابعی تنبل با استفاده از تکنیک‌های کاهش ترکیبی، پیاده‌سازی و توصیف ابزاری برای انجام کاهش گراف روی تک‌پردازنده‌ها، و تحلیل پتانسیل پیاده‌سازی سخت‌افزارهای ویژه می‌پردازد.

این کتاب که از هشت فصل تشکیل شده، با ارائه پیشینه‌ای در مورد زبان‌های برنامه‌نویسی تابعی و فناوری پیاده‌سازی موجود آغاز می‌شود. فصل‌های بعدی به بحث در مورد متدولوژی TIGRE (موتور کاهش گراف تفسیری رشته‌ای) برای پیاده‌سازی کاهش گراف ترکیبی، ماشین انتزاعی TIGRE که برای پیاده‌سازی متدولوژی کاهش گراف استفاده می‌شود، نتایج اندازه‌گیری عملکرد TIGRE بر روی پلتفرم‌های مختلف، معیارهای معماری برای TIGRE که روی پردازنده MIPS R2000 اجرا می‌شود، و پتانسیل سخت‌افزارهای ویژه برای ارائه بهبودهای بیشتر در سرعت می‌پردازند. فصل پایانی نتایج تحقیق را خلاصه کرده و زمینه‌هایی را برای تحقیقات بیشتر پیشنهاد می‌کند.

مهندسان کامپیوتر، برنامه‌نویسان و دانشمندان علوم کامپیوتر، این کتاب را جالب خواهند یافت.

An Architecture for Combinator Graph Reduction examines existing methods of evaluating lazy functional programs using combinator reduction techniques, implementation, and characterization of a means for accomplishing graph reduction on uniprocessors, and analysis of the potential for special-purpose hardware implementations. Comprised of eight chapters, the book begins by providing a background on functional programming languages and existing implementation technology. Subsequent chapters discuss the TIGRE (Threaded Interpretive Graph Reduction Engine) methodology for implementing combinator graph reduction; the TIGRE abstract machine, which is used to implement the graph reduction methodology; the results of performance measurements of TIGRE on a variety of platforms; architectural metrics for TIGRE executing on the MIPS R2000 processor; and the potential for special-purpose hardware to yield further speed improvements. The final chapter summarizes the results of the research, and suggests areas for further investigation. Computer engineers, programmers, and computer scientists will find the book interesting.