Data Structure Choice Formal Differentiation Two Papers on Very High Level Program Optimization: Courant Computer Science Report #15 (Classic Reprint) - Hardcover

Ssu-Cheng Liu

Hardcover

ISBN 10: 0265154650 ISBN 13: 9780265154656

Publisher: Forgotten Books, 2018

Synopsis

Unlock a window into high‑level program optimization with formal differentiation and rule‑based transformations.

This collection dives into how complex expressions and set formers can be rewritten for speed and safety, using a rigorous, rule‑driven approach. It presents methods for collecting simple rules into groups, applying them automatically over regions, and handling memoization and derivatives in practical code.

Readers are guided through practical techniques for transforming code, managing data with sets and boolean logic, and ensuring safety in arithmetic transformations. The material blends theory with concrete SETL examples and low‑level implementation notes, making it useful for researchers and practitioners who build or optimize compilers and symbolic engines.

• Learn how rewrite rules are written, applied, and validated in a high‑level setting
• Explore how memoization and prederivatives speed up derivative computations
• See strategies for transforming code order, with attention to safety and disjointness
• Understand how set formers, boolean identities, and loop laws influence optimization

Ideal for readers interested in compiler design, formal differentiation, and advanced program optimization techniques.

Edition details

• Publisher: Forgotten Books
• Publication date: 2018
• Language: English
• ISBN 10: 0265154650
• ISBN 13: 9780265154656
• Binding: Hardcover
• Number of pages: 668