Using the Succinct Solver to Implement Flow Logic Specifications of Classical Data Flow Analyses
Han Gao · 2004
the true sources of inspiration, knowledge, guidance and help to myself throughout the period of my master thesis. I would also like to thank PhD students Terkel Tolstrup and Henrik Pilegaard, with whom I had many informative conversations. Finally, thanks to my parents for their unfailing support and patient during my studies.