Stav dette: The semantic analysis of advanced programming languages