Replacing Function Parameters by Global Variables
This is my M.Sc. thesis (1988), scanned from the printed original.
If you intend to print it, please download the
Postscript version
instead.
Front page, table of contents, and preface
Chapter 1: Introduction
Chapter 2: Replacing parameters by global variables
Chapter 3: Definition-use grammars: interference analysis
Chapter 4: Extension to higher-order functions
Chapter 5: Correctness for H
Chapter 6: Related work
Chapter 7: Evaluation and results
Chapter 8: Directions and open problems
Chapter 9: Conclusion
Chapter 10: Glossary of symbols
Chapter 11: References
Peter Sestoft
(
sestoft@itu.dk
) 1996-11-07