"Compiling with Continuations" by Andrew W. Appel

This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program transformations.


CONTENTS
ACKNOWLEDGMENTS
1 OVERVIEW
2 CONTINUATION-PASSING STYLE
3 SEMANTICS OF THE CPS
4 ML-SPECIFIC OPTIMIZATIONS
5 CONVERSION INTO CPS
6 OPTIMIZATION OF THE CPS
7 BETA EXPANSION
8 HOISTING
9 COMMON SUBEXPRESSIONS
10 CLOSURE CONVERSION
11 REGISTER SPILLING
12 SPACE COMPLEXITY
13 THE ABSTRACT MACHINE
14 MACHINE-CODE GENERATION
15 PERFORMANCE EVALUATION
16 THE RUNTIME SYSTEM
17 PARALLEL PROGRAMMING
18 FUTURE DIRECTIONS
APPENDIX A: INTRODUCTION TO ML
APPENDIX B: SEMANTICS OF THE CPS
APPENDIX C: OBTAINING STANDARD ML OF NEW JERSEY
APPENDIX D: nREADINGS
BIBLIOGRAPHY
INDEX