Isbn: 9781332185740 - recursive data types in setl: automatic determination, data language description, and efficient implementation (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 delves into the fascinating world of programming languages, specifically exploring the challenges and opportunities presented by recursive data types. These complex data structures, which can reference themselves within their own definition, have long posed a significant challenge for compilers and interpreters of high-level languages. The author, building upon previous work by Tenenbaum and others, presents a novel approach to the automated type determination of such structures, showcasing its potential to unlock a new level of efficiency and clarity in programming. The book explores the challenges inherent in programming languages lacking explicit type declarations, highlighting the need for algorithms that can infer type information from program structure. The author meticulously outlines the shortcomings of existing typending algorithms, particularly their inability to handle the intricate nature of recursive data types. The book then presents a compelling solution, proposing a new algorithm that effectively identifies and types these structures, ultimately enabling the generation of more efficient machine code and leading to more robust and reliable programs. The book's insights on this critical area of computer science offer a valuable contribution to the ongoing quest for more expressive and efficient programming languages. 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. …