Includes supplementary material: sn.pub/extras
Olivier Danvy
Bytecode Specialization Computational Complexity Computational logics Fusion Object-Oriented Languages Partial Evaluation Power Analysis Program Analysis Program Semantics Program Transformation Programming Theory Variable Variable Elimination complexity