This textbook describes all phases of a modern compiler, including current techniques in code generation and register allocation, for imperative, functional and... Læs mere
Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.
Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.
This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations. It will be essential... Læs mere
This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation... Læs mere