Isbn: 9781333033828 - semantic analyses for storage management optimizations in functional language implementations (classic reprint) (3 risultati)

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Condizione: New. Print on Demand. This book explores the concept of lifetime information for dynamically allocated objects in higher-order polymorphic functional languages and how that information can be used to reduce storage management overheads during a program's execution. This concept of lifetime information is vital for understanding how to improve the performance of functional languages and is essential for any language implementation on conventional computers. The author presents a set of compile-time semantic analyses for higher-order, monomorphic, strict functional languages based on denotational semantics and abstract interpretation. It presents escape analysis, reined escape analysis, reference escape analysis, and order of-demand analysis, each a novel method for analyzing functional languages. These methods provide information about the relative lifetimes of objects referred to as "escapement of objects," allowing the implementation to use this information for optimizations such as stack allocation, explicit reclamation, and in-place reuse. The insights provided by this book will be of great value to compiler designers, implementors of functional languages, and anyone seeking a deeper understanding of storage management in functional language implementations. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.…