A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
The semantic analysis of advanced programming languages THE SEMANTIC ANALYSIS OF ADVANCED PROGRAMMING LANGUAGES
2014
unpublished
To my lovely wife, Jenny Eades. ii Program testing can be used to show the presence of bugs, but never to show their absence!-Dijkstra (1970) iii ACKNOWLEDGEMENTS The first person I would like to acknowledge is my advisor Aaron Stump. He is one of the kindest and most intelligent people I have had the pleasure to work with, and without his guidance I would have never made it this far. I can only hope to acquire the insight and creativity you have when working on a research problem. Furthermore,
fatcat:mszkfweminggdagazody6huqeq