Sökt på: Böcker av Andrew Appel
totalt 23 träffar
Modern Compiler Implementation in C
This textbook explains all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree …
Modern Compiler Implementation In C
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction …
Modern Compiler Implementation in Java
This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree …
AI for Marketing and Product Innovation
Get on board the next massive marketing revolution AI for Marketing and Product Innovation offers creatives and marketing professionals a non-tech guide to artificial intelligence …
Modern Compiler Implementation in ML
Describes all phases of a modern compiler, including current techniques in code generation and register allocation, for imperative, functional, and object oriented languages.
Compiling with Continuations
The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real compilers. This book …
Modern Compiler Implementation in ML
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction …
AI for Marketing and Product Innovation
Get on board the next massive marketing revolution AI for Marketing and Product Innovation offers creatives and marketing professionals a non-tech guide to artificial intelligence …
Program Logics for Certified Compilers
Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects …
Strangers in the Bronx
Rare is the athlete who captures the imagination of a generation. In Joe DiMaggio and Mickey Mantle, sports culture had two such figures. Undoubtedly, DiMaggio and Mantle are two …
Program Logics for Certified Compilers
Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects …
Alan Turing's Systems of Logic
A facsimile edition of Alan Turing's influential Princeton thesisBetween inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War …