Semantic Analyses for Storage Management Optimizations in Functional Language Implementations (Classic Reprint) - Hardcover

Young Gil Park

9780656048977: Semantic Analyses for Storage Management Optimizations in Functional Language Implementations (Classic Reprint)

Hardcover

ISBN 10: 0656048972 ISBN 13: 9780656048977

Publisher: Forgotten Books, 2022

View all copies of this ISBN edition

0 Used

2 New

From US$ 36.33

Unlocks how to cut storage overhead in functional language implementations.

This book presents compile-time analyses that reveal object lifetimes and reuse opportunities to optimize memory management.

In clear, accessible terms, it explains how static lifetime information can reduce dynamic allocation and reclamation costs. It covers a suite of analyses for higher-order, polymorphic languages and shows how those insights translate into practical optimization techniques.

Learn about escape analysis and refined variants that track object lifetimes inside functions and across data structures.
See how order-of-demand and before semantics inform strictness, evaluation order, and evaluation status in lazy and non-strict languages.
Discover storage management techniques such as stack allocation, in-place reuse, explicit reclamation, and optimizations to garbage collection.
Understand the theoretical foundation that connects abstract interpretation with concrete compiler optimizations for functional languages.

Ideal for readers of compiler design, static analysis, and memory-management research who want concrete methods to reduce runtime overhead in functional language implementations.

"synopsis" may belong to another edition of this title.