Filter By
Books (7)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Compiling with Continuations by Andrew W. Appel 9780521033114
RRP: $161.85Booksplease Price: $145.82The 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 shows how... -
Modern Compiler Implementation in Java by Andrew W. Appel
RRP: $138.45Booksplease Price: $131.41This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow... -
Modern Compiler Implementation in C by Andrew W. Appel
RRP: $132.60Booksplease Price: $124.68This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree... -
Modern Compiler Implementation in ML by Andrew W. Appel
RRP: $128.70Booksplease Price: $121.33This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree... -
Program Logics for Certified Compilers by Andrew W. Appel 9781107048010
RRP: $161.85Booksplease Price: $154.75Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic... -
Alan Turing's Systems of Logic: The Princeton Thesis by Andrew W. Appel
RRP: $68.25Booksplease Price: $64.21Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial... -
Alan Turing's Systems of Logic: The Princeton Thesis by Andrew W. Appel 9780691164731
RRP: $25.33Booksplease Price: $22.82Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial...