Recursive Data Types in Setl: Automatic Determination, Data Language Description, and Efficient Implementation (Classic Reprint) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Recursive Data Types in Setl: Automatic Determination,...
Seller Image
Recursive Data Types in Setl (Classic Reprint)
Print on DemandSeller: Forgotten Books, London, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # 9781332185740_0
Buy New
US$ 19.01
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Recursive Data Types in Setl
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332185740
Stock Image
Recursive Data Types in Setl
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332185740
Buy New
US$ 25.64
US$ 5.58 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available
Seller Image
RECURSIVE DATA TYPES IN SETL
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. KlappentextrnrnExcerpt from Recursive Data Types in Setl: Automatic Determination, Data Language Description, and Efficient ImplementationThe semantic level of a programming language is characterized by the degree to which a programmer m. Seller Inventory # 2147932205
Buy New
US$ 28.02
US$ 57.56 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available