The semantic analysis of advanced programming languages - Eades, Harley D., III (ProQuest Dissertations and Theses, 2014)