Andrew W. (Princeton University Appel Forfatter
-
Modern Compiler Implementation in Java (Bog, Hardback, Engelsk)
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
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Program Logics for Certified Compilers (Bog, Hardback, Engelsk)
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
Levering: Print on Demand (forvent 14 - 30 hverdage)
