Automatic compiler generation from natural semantics specifications

Stephen Walter McKeever. Automatic compiler generation from natural semantics specifications. PhD thesis, University of Oxford, UK, 2002. [doi]

Abstract

Abstract is missing.