Related Books

Compiling with Continuations
Language: en
Pages: 272
Authors: Andrew W. Appel
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real comp
Compiling with Continuations
Language: en
Pages: 298
Authors: Andrew W. Appel
Categories: Computers
Type: BOOK - Published: 2007-02-01 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real comp
Modern Compiler Implementation in C
Language: en
Pages: 560
Authors: Andrew W. Appel
Categories: Computers
Type: BOOK - Published: 2004-07-08 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representation
Program Logics for Certified Compilers
Language: en
Pages: 469
Authors: Andrew W. Appel
Categories: Computers
Type: BOOK - Published: 2014-04-21 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.
Modern Compiler Design
Language: en
Pages: 822
Authors: Dick Grune
Categories: Computers
Type: BOOK - Published: 2012-07-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By carefully distingui