Type Determination for Very High Level Languages (Classic Reprint) - Hardcover

Aaron M. Tenenbaum

Hardcover

ISBN 10: 065603002X ISBN 13: 9780656030026

Publisher: Forgotten Books, 2018

Synopsis

Unlock type intelligence for high‑level languages and speed up your code.

This book presents methods to determine runtime types at compile time, reducing interpretation overhead and speeding execution in declaration‑free languages like SETL.

In clear, practical terms, it explains how objects’ types can be deduced from their definitions and from how they are used. It introduces a formal system of type symbols, including elementary types, general types, and complex aggregates, to track what can be known about a object’s type. The work shows how a typefinder can be implemented and extended across languages, with concrete examples and algorithmic details. It also discusses real‑world applications and how the approach supports both straightforward and complex type information while keeping the process efficient for large programs.
What you’ll experience

• A foundational framework for representable type information in high‑level languages
• Step‑by‑step ideas for building a type determination tool and integrating it with compilers
• Practical discussion of data structures, algorithms, and language‑specific implementations
• Insights into how type information can improve optimization and safety in dynamic typing environments

Ideal for readers of programming language design, compiler optimization, and high‑level language theory who want practical approaches to static type analysis without sacrificing flexibility.

Edition details

• Publisher: Forgotten Books
• Publication date: 2018
• Language: English
• ISBN 10: 065603002X
• ISBN 13: 9780656030026
• Binding: Hardcover
• Number of pages: 184